ThirdParty/Pygments/pygments/styles/manni.py

changeset 684
2f29a0b6e1c7
parent 0
de9c2efb9d02
child 1705
b0fbc9300f2b
--- a/ThirdParty/Pygments/pygments/styles/manni.py	Sat Oct 16 20:28:00 2010 +0200
+++ b/ThirdParty/Pygments/pygments/styles/manni.py	Wed Oct 20 08:39:56 2010 +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-2009 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-2010 by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 

eric ide

mercurial