ThirdParty/Pygments/pygments/unistring.py

changeset 5713
6762afd9f963
parent 4697
c2e9bf425554
child 6651
e8f3b5568b21
equal deleted inserted replaced
5712:f0d08bdeacf4 5713:6762afd9f963
6 Strings of all Unicode characters of a certain category. 6 Strings of all Unicode characters of a certain category.
7 Used for matching in Unicode-aware languages. Run to regenerate. 7 Used for matching in Unicode-aware languages. Run to regenerate.
8 8
9 Inspired by chartypes_create.py from the MoinMoin project. 9 Inspired by chartypes_create.py from the MoinMoin project.
10 10
11 :copyright: Copyright 2006-2015 by the Pygments team, see AUTHORS. 11 :copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS.
12 :license: BSD, see LICENSE for details. 12 :license: BSD, see LICENSE for details.
13 """ 13 """
14 14
15 import sys 15 import sys
16 16

eric ide

mercurial