diff options
author | Michal Nowikowski <godfryd@gmail.com> | 2014-11-04 08:08:19 +0100 |
---|---|---|
committer | Michal Nowikowski <godfryd@gmail.com> | 2014-11-04 08:08:19 +0100 |
commit | ad731e78eecc677e85bbe80d89a7cdf87fbd7922 (patch) | |
tree | d04f0f6ddbdb5acb1f6262a3927ccad9f4ceeb5f /lint.py | |
parent | f1903892112cf7e8ed588c41484c91b9111bb28b (diff) | |
download | pylint-docs-improvements-2.tar.gz |
Documentation improvementsdocs-improvements-2
- added intros to features page,
- fixed PyLint to Pylint in text,
- improved ide-integration doc page,
- updated pylintrc in examples and
- regenerated pylint manual
Diffstat (limited to 'lint.py')
-rw-r--r-- | lint.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -349,7 +349,7 @@ class PyLinter(OptionsManagerMixIn, MessagesHandlerMixIn, ReportsHandlerMixIn, {'type' : 'int', 'metavar': '<n-processes>', 'short': 'j', 'default': 1, - 'help' : '''Use multiple processes to speed up PyLint.''', + 'help' : '''Use multiple processes to speed up Pylint.''', }), # jobs ) |