ThirdParty/Pygments/pygments/plugin.py

changeset 4172
4f20dba37ab6
parent 3145
a9de05d4a22f
child 4697
c2e9bf425554
equal deleted inserted replaced
4170:8bc578136279 4172:4f20dba37ab6
30 30
31 [pygments.filter] 31 [pygments.filter]
32 yourfilter = yourfilter:YourFilter 32 yourfilter = yourfilter:YourFilter
33 33
34 34
35 :copyright: Copyright 2006-2013 by the Pygments team, see AUTHORS. 35 :copyright: Copyright 2006-2014 by the Pygments team, see AUTHORS.
36 :license: BSD, see LICENSE for details. 36 :license: BSD, see LICENSE for details.
37 """ 37 """
38 from __future__ import unicode_literals
39
40 try: 38 try:
41 import pkg_resources 39 import pkg_resources
42 except ImportError: 40 except ImportError:
43 pkg_resources = None 41 pkg_resources = None
44 42

eric ide

mercurial