summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorMarcello Stanisci <stanisci.m@gmail.com>2017-11-04 10:31:01 +0100
committerMarcello Stanisci <stanisci.m@gmail.com>2017-11-04 10:31:01 +0100
commit9527aee524dd05612df97097b3d34de1116d69cb (patch)
tree861fb8fdc55c542804ff7cd0c34e7f82934d8e30 /doc
parent06f2e37758c73bee9b53fcac198d16a828c2ffc0 (diff)
downloaddeployment-9527aee524dd05612df97097b3d34de1116d69cb.tar.gz
deployment-9527aee524dd05612df97097b3d34de1116d69cb.tar.bz2
deployment-9527aee524dd05612df97097b3d34de1116d69cb.zip
pylint worker
Diffstat (limited to 'doc')
-rw-r--r--doc/onboarding.texi2
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