ThirdParty/Pygments/pygments/styles/rrt.py

changeset 4172
4f20dba37ab6
parent 3145
a9de05d4a22f
child 4697
c2e9bf425554
equal deleted inserted replaced
4170:8bc578136279 4172:4f20dba37ab6
3 pygments.styles.rrt 3 pygments.styles.rrt
4 ~~~~~~~~~~~~~~~~~~~ 4 ~~~~~~~~~~~~~~~~~~~
5 5
6 pygments "rrt" theme, based on Zap and Emacs defaults. 6 pygments "rrt" theme, based on Zap and Emacs defaults.
7 7
8 :copyright: Copyright 2006-2013 by the Pygments team, see AUTHORS. 8 :copyright: Copyright 2006-2014 by the Pygments team, see AUTHORS.
9 :license: BSD, see LICENSE for details. 9 :license: BSD, see LICENSE for details.
10 """ 10 """
11
12 from __future__ import unicode_literals
13 11
14 from pygments.style import Style 12 from pygments.style import Style
15 from pygments.token import Comment, Name, Keyword, String 13 from pygments.token import Comment, Name, Keyword, String
16 14
17 15

eric ide

mercurial