ThirdParty/Pygments/pygments/styles/manni.py

branch
Py2 comp.
changeset 2525
8b507a9a2d40
parent 2426
da76c71624de
child 3145
a9de05d4a22f
equal deleted inserted replaced
2523:139f182b72f6 2525:8b507a9a2d40
9 by Manni. The style is called 'default' there. 9 by Manni. The style is called 'default' there.
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
15 from __future__ import unicode_literals # __IGNORE_WARNING__
14 16
15 from pygments.style import Style 17 from pygments.style import Style
16 from pygments.token import Keyword, Name, Comment, String, Error, \ 18 from pygments.token import Keyword, Name, Comment, String, Error, \
17 Number, Operator, Generic, Whitespace 19 Number, Operator, Generic, Whitespace
18 20

eric ide

mercurial