diff options
author | Claudiu Popa <cpopa@cloudbasesolutions.com> | 2014-11-15 19:56:15 +0200 |
---|---|---|
committer | Claudiu Popa <cpopa@cloudbasesolutions.com> | 2014-11-15 19:56:15 +0200 |
commit | fc9abc8f484546454e4216d399cd2f57b08b8ced (patch) | |
tree | c98c4f04f6eb0dd65c89b6e972cd6e29c2381244 | |
parent | 931981f95b51c24a91e5baf21eed153bd4f58240 (diff) | |
download | pylint-fc9abc8f484546454e4216d399cd2f57b08b8ced.tar.gz |
may_be_disabled is not used anymore.
-rw-r--r-- | lint.py | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -245,7 +245,6 @@ class PyLinter(OptionsManagerMixIn, MessagesHandlerMixIn, ReportsHandlerMixIn, priority = 0 level = 0 msgs = MSGS - may_be_disabled = False @staticmethod def make_options(): |