diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2017-11-04 10:31:01 +0100 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2017-11-04 10:31:01 +0100 |
| commit | 9527aee524dd05612df97097b3d34de1116d69cb (patch) | |
| tree | 861fb8fdc55c542804ff7cd0c34e7f82934d8e30 /doc/onboarding.texi | |
| parent | 06f2e37758c73bee9b53fcac198d16a828c2ffc0 (diff) | |
| download | deployment-9527aee524dd05612df97097b3d34de1116d69cb.tar.gz deployment-9527aee524dd05612df97097b3d34de1116d69cb.tar.bz2 deployment-9527aee524dd05612df97097b3d34de1116d69cb.zip | |
pylint worker
Diffstat (limited to 'doc/onboarding.texi')
| -rw-r--r-- | doc/onboarding.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/onboarding.texi b/doc/onboarding.texi index 4c31304..de520ad 100644 --- a/doc/onboarding.texi +++ b/doc/onboarding.texi @@ -146,7 +146,7 @@ is not needed by any production codebase. @subsection Python linter This worker is responsible for running Python static analysis, and it -is served by the user @code{pylinter}. +is served by the user @code{linter}. @subsection Documentation worker |