diff options
author | Claudiu Popa <pcmanticore@gmail.com> | 2015-10-09 00:40:29 +0300 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2015-10-09 00:40:29 +0300 |
commit | 38341109991fcd0e84edce03b48641481327e42c (patch) | |
tree | a20e5599d17ea96d15f43e942b29bfca9e46c0b6 | |
parent | 86b7ed8432640c34c8bec27bf739056e25507024 (diff) | |
download | pylint-38341109991fcd0e84edce03b48641481327e42c.tar.gz |
Remove deprecated option.
-rw-r--r-- | pylintrc | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -7,9 +7,6 @@ # pygtk.require(). #init-hook= -# Profiled execution. -profile=no - # Add files or directories to the blacklist. They should be base names, not # paths. ignore=CVS |