ThirdParty/Pygments/pygments/cmdline.py

branch
Py2 comp.
changeset 3145
a9de05d4a22f
parent 2525
8b507a9a2d40
child 4172
4f20dba37ab6
equal deleted inserted replaced
3144:bb63e24383e4 3145:a9de05d4a22f
6 Command line interface. 6 Command line interface.
7 7
8 :copyright: Copyright 2006-2013 by the Pygments team, see AUTHORS. 8 :copyright: Copyright 2006-2013 by the Pygments team, see AUTHORS.
9 :license: BSD, see LICENSE for details. 9 :license: BSD, see LICENSE for details.
10 """ 10 """
11 from __future__ import unicode_literals # __IGNORE_WARNING__ 11 from __future__ import unicode_literals
12 12
13 import sys 13 import sys
14 import getopt 14 import getopt
15 from textwrap import dedent 15 from textwrap import dedent
16 16

eric ide

mercurial