From 9527aee524dd05612df97097b3d34de1116d69cb Mon Sep 17 00:00:00 2001 From: Marcello Stanisci Date: Sat, 4 Nov 2017 10:31:01 +0100 Subject: pylint worker --- doc/onboarding.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/onboarding.texi') 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 -- cgit v1.2.3