diff options
author | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-05-23 15:06:49 +0200 |
---|---|---|
committer | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-05-24 08:52:32 +0200 |
commit | 23665988d7862577fb3390535c84a7c8aa1c29a9 (patch) | |
tree | 7c2d81bd5df182f63eaaec60a7f2739fe603516a /doc/user_guide/configuration | |
parent | c04ba16727f171742ef7fa1e8c70b09fbfef5eb5 (diff) | |
download | pylint-git-23665988d7862577fb3390535c84a7c8aa1c29a9.tar.gz |
[doc] Add generated disclaimer in result of generated documentation
Diffstat (limited to 'doc/user_guide/configuration')
-rw-r--r-- | doc/user_guide/configuration/all-options.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/user_guide/configuration/all-options.rst b/doc/user_guide/configuration/all-options.rst index fc68d5627..743e2acae 100644 --- a/doc/user_guide/configuration/all-options.rst +++ b/doc/user_guide/configuration/all-options.rst @@ -1,5 +1,8 @@ +.. This file is auto-generated. Make any changes to the associated +.. docs extension in 'doc/exts/pylint_options.py'. + Standard Checkers: ^^^^^^^^^^^^^^^^^^ |