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 |
11 |
12 from __future__ import unicode_literals # __IGNORE_WARNING__ |
12 from __future__ import unicode_literals |
13 |
13 |
14 import re |
14 import re |
15 from pygments.lexer import RegexLexer, bygroups, include, using, this |
15 from pygments.lexer import RegexLexer, bygroups, include, using, this |
16 from pygments.token import \ |
16 from pygments.token import \ |
17 Text, Comment, Operator, Keyword, Name, String, Number, Punctuation, \ |
17 Text, Comment, Operator, Keyword, Name, String, Number, Punctuation, \ |