ThirdParty/Pygments/pygments/styles/manni.py

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

eric ide

mercurial