ThirdParty/Pygments/pygments/cmdline.py

branch
Py2 comp.
changeset 2525
8b507a9a2d40
parent 2426
da76c71624de
child 3145
a9de05d4a22f
equal deleted inserted replaced
2523:139f182b72f6 2525:8b507a9a2d40
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__
12
11 import sys 13 import sys
12 import getopt 14 import getopt
13 from textwrap import dedent 15 from textwrap import dedent
14 16
15 from pygments import __version__, highlight 17 from pygments import __version__, highlight

eric ide

mercurial