eric6/ThirdParty/Pygments/pygments/regexopt.py

changeset 7701
25f42e208e08
parent 7547
21b0534faebc
child 7983
54c5cfbb1e29
equal deleted inserted replaced
7700:a3cf077a8db3 7701:25f42e208e08
4 ~~~~~~~~~~~~~~~~~ 4 ~~~~~~~~~~~~~~~~~
5 5
6 An algorithm that generates optimized regexes for matching long lists of 6 An algorithm that generates optimized regexes for matching long lists of
7 literal strings. 7 literal strings.
8 8
9 :copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS. 9 :copyright: Copyright 2006-2020 by the Pygments team, see AUTHORS.
10 :license: BSD, see LICENSE for details. 10 :license: BSD, see LICENSE for details.
11 """ 11 """
12 12
13 import re 13 import re
14 from re import escape 14 from re import escape

eric ide

mercurial