ThirdParty/Pygments/pygments/formatters/_mapping.py

changeset 1705
b0fbc9300f2b
parent 808
8f85926125ef
child 2426
da76c71624de
equal deleted inserted replaced
1704:02ae6c55b35b 1705:b0fbc9300f2b
1 # -*- coding: utf-8 -*- 1 # -*- coding: utf-8 -*-
2 """ 2 """
3 pygments.formatters._mapping 3 pygments.formatters._mapping
4 ~~~~~~~~~~~~~~~~~~~~~~~~~~~ 4 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
5 5
6 Formatter mapping defintions. This file is generated by itself. Everytime 6 Formatter mapping defintions. This file is generated by itself. Everytime
7 you change something on a builtin formatter defintion, run this script from 7 you change something on a builtin formatter defintion, run this script from
8 the formatters folder to update it. 8 the formatters folder to update it.
9 9
10 Do not alter the FORMATTERS dictionary by hand. 10 Do not alter the FORMATTERS dictionary by hand.
11 11
12 :copyright: Copyright 2006-2010 by the Pygments team, see AUTHORS. 12 :copyright: Copyright 2006-2012 by the Pygments team, see AUTHORS.
13 :license: BSD, see LICENSE for details. 13 :license: BSD, see LICENSE for details.
14 """ 14 """
15 15
16 from pygments.util import docstring_headline 16 from pygments.util import docstring_headline
17 17

eric ide

mercurial