ThirdParty/Pygments/pygments/styles/rrt.py

branch
Py2 comp.
changeset 3145
a9de05d4a22f
parent 2525
8b507a9a2d40
child 4172
4f20dba37ab6
equal deleted inserted replaced
3144:bb63e24383e4 3145:a9de05d4a22f
7 7
8 :copyright: Copyright 2006-2013 by the Pygments team, see AUTHORS. 8 :copyright: Copyright 2006-2013 by the Pygments team, see AUTHORS.
9 :license: BSD, see LICENSE for details. 9 :license: BSD, see LICENSE for details.
10 """ 10 """
11 11
12 from __future__ import unicode_literals # __IGNORE_WARNING__ 12 from __future__ import unicode_literals
13 13
14 from pygments.style import Style 14 from pygments.style import Style
15 from pygments.token import Comment, Name, Keyword, String 15 from pygments.token import Comment, Name, Keyword, String
16 16
17 17

eric ide

mercurial