diff -r ace8a08028f3 -r da76c71624de ThirdParty/Pygments/pygments/styles/manni.py
--- a/ThirdParty/Pygments/pygments/styles/manni.py Sun Feb 17 19:05:40 2013 +0100
+++ b/ThirdParty/Pygments/pygments/styles/manni.py Sun Feb 17 19:07:15 2013 +0100
@@ -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-2012 by the Pygments team, see AUTHORS.
+ :copyright: Copyright 2006-2013 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
"""
