comparison: PluginPyLint.py
PluginPyLint.py
- changeset 24
- b01348dd84d5
- parent 22
- 68beeb22dade
- child 28
- 1dae294006e8
equal
deleted
inserted
replaced
5 |
5 |
6 """ |
6 """ |
7 Module implementing the PyLint plug-in. |
7 Module implementing the PyLint plug-in. |
8 """ |
8 """ |
9 |
9 |
10 from __future__ import unicode_literals # __IGNORE_WARNING__ |
10 from __future__ import unicode_literals # __IGNORE_WARNING__ |
11 try: |
11 try: |
12 str = unicode |
12 str = unicode # __IGNORE_WARNING__ |
13 except (NameError): |
13 except (NameError): |
14 pass |
14 pass |
15 |
15 |
16 import re |
16 import re |
17 import os |
17 import os |