diff -r f0d08bdeacf4 -r 6762afd9f963 ThirdParty/Pygments/pygments/styles/manni.py
--- a/ThirdParty/Pygments/pygments/styles/manni.py Sun Apr 23 16:40:31 2017 +0200
+++ b/ThirdParty/Pygments/pygments/styles/manni.py Tue Apr 25 18:36:38 2017 +0200
@@ -8,7 +8,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-2015 by the Pygments team, see AUTHORS.
+ :copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
"""
