ThirdParty/Pygments/pygments/styles/default.py

changeset 684
2f29a0b6e1c7
parent 0
de9c2efb9d02
child 1705
b0fbc9300f2b
equal deleted inserted replaced
682:91114a975eda 684:2f29a0b6e1c7
3 pygments.styles.default 3 pygments.styles.default
4 ~~~~~~~~~~~~~~~~~~~~~~~ 4 ~~~~~~~~~~~~~~~~~~~~~~~
5 5
6 The default highlighting style. 6 The default highlighting style.
7 7
8 :copyright: Copyright 2006-2009 by the Pygments team, see AUTHORS. 8 :copyright: Copyright 2006-2010 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 Keyword, Name, Comment, String, Error, \ 13 from pygments.token import Keyword, Name, Comment, String, Error, \

eric ide

mercurial