diff options
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 |