diff options
| author | arcadia-devtools <arcadia-devtools@yandex-team.ru> | 2022-06-09 14:39:19 +0300 |
|---|---|---|
| committer | arcadia-devtools <arcadia-devtools@yandex-team.ru> | 2022-06-09 14:39:19 +0300 |
| commit | c04b663c7bb4b750deeb8f48f620497ec13da8fa (patch) | |
| tree | 151ebc8bfdd2ad918caf5e6e2d8013e14272ddf8 /contrib/python/Pygments/py3/pygments/styles/manni.py | |
| parent | 0d55ca22c507d18c2f35718687e0b06d9915397b (diff) | |
| download | ydb-c04b663c7bb4b750deeb8f48f620497ec13da8fa.tar.gz | |
intermediate changes
ref:2d4f292087954c9344efdabb7b2a67f466263c65
Diffstat (limited to 'contrib/python/Pygments/py3/pygments/styles/manni.py')
| -rw-r--r-- | contrib/python/Pygments/py3/pygments/styles/manni.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/python/Pygments/py3/pygments/styles/manni.py b/contrib/python/Pygments/py3/pygments/styles/manni.py index 167dcebd5a..f5fe876422 100644 --- a/contrib/python/Pygments/py3/pygments/styles/manni.py +++ b/contrib/python/Pygments/py3/pygments/styles/manni.py @@ -7,7 +7,7 @@ This is a port of the style used in the `php port`_ of pygments by Manni. The style is called 'default' there. - :copyright: Copyright 2006-2021 by the Pygments team, see AUTHORS. + :copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. """ |