ThirdParty/Pygments/pygments/styles/rrt.py

changeset 2426
da76c71624de
parent 1705
b0fbc9300f2b
child 2525
8b507a9a2d40
equal deleted inserted replaced
2425:ace8a08028f3 2426:da76c71624de
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-2012 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 pygments.style import Style 12 from pygments.style import Style
13 from pygments.token import Comment, Name, Keyword, String 13 from pygments.token import Comment, Name, Keyword, String

eric ide

mercurial