diff options
author | Daniƫl van Noord <13665637+DanielNoord@users.noreply.github.com> | 2022-04-16 21:02:34 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-16 21:02:34 +0200 |
commit | 86ed7fa47b501bfbab46a3fe84e02aea5a51376d (patch) | |
tree | 0c7b9584c5be97c2b31e0058d9f89dde0d704f00 /.gitignore | |
parent | 1de6da157c260c5a1398bc59c5f2b57abc4912a6 (diff) | |
download | pylint-git-86ed7fa47b501bfbab46a3fe84e02aea5a51376d.tar.gz |
Create a documentation page with all options (#6346)
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 07ec6627c..b4fa458be 100644 --- a/.gitignore +++ b/.gitignore @@ -12,6 +12,7 @@ doc/messages/ doc/technical_reference/extensions.rst doc/technical_reference/features.rst +doc/user_guide/configuration/all-options.rst pyve build-stamp .coverage |