ThirdParty/Pygments/pygments/token.py

changeset 684
2f29a0b6e1c7
parent 0
de9c2efb9d02
child 808
8f85926125ef
--- a/ThirdParty/Pygments/pygments/token.py	Sat Oct 16 20:28:00 2010 +0200
+++ b/ThirdParty/Pygments/pygments/token.py	Wed Oct 20 08:39:56 2010 +0200
@@ -5,14 +5,9 @@
 
     Basic token types and the standard tokens.
 
-    :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.
 """
-try:
-    set
-except NameError:
-    from sets import Set as set
-
 
 class _TokenType(tuple):
     parent = None

eric ide

mercurial