ThirdParty/Pygments/pygments/styles/rrt.py

changeset 5713
6762afd9f963
parent 4697
c2e9bf425554
equal deleted inserted replaced
5712:f0d08bdeacf4 5713:6762afd9f963
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-2015 by the Pygments team, see AUTHORS. 8 :copyright: Copyright 2006-2017 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