ThirdParty/Pygments/pygments/formatters/_mapping.py

changeset 5713
6762afd9f963
parent 5072
aab59042fefb
child 6654
025e8d0f87cd
equal deleted inserted replaced
5712:f0d08bdeacf4 5713:6762afd9f963
7 you change something on a builtin formatter definition, run this script from 7 you change something on a builtin formatter definition, 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-2015 by the Pygments team, see AUTHORS. 12 :copyright: Copyright 2006-2017 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 __future__ import print_function 16 from __future__ import print_function
17 17

eric ide

mercurial