ThirdParty/Pygments/pygments/styles/igor.py

changeset 4697
c2e9bf425554
parent 4172
4f20dba37ab6
child 5713
6762afd9f963
equal deleted inserted replaced
4696:bf4d19a7cade 4697:c2e9bf425554
3 pygments.styles.igor 3 pygments.styles.igor
4 ~~~~~~~~~~~~~~~~~~~~ 4 ~~~~~~~~~~~~~~~~~~~~
5 5
6 Igor Pro default style. 6 Igor Pro default style.
7 7
8 :copyright: Copyright 2006-2014 by the Pygments team, see AUTHORS. 8 :copyright: Copyright 2006-2015 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 13 from pygments.token import Keyword, Name, Comment, String

eric ide

mercurial