diff options
| author | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-05-23 14:53:19 +0200 |
|---|---|---|
| committer | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-05-24 08:52:32 +0200 |
| commit | c04ba16727f171742ef7fa1e8c70b09fbfef5eb5 (patch) | |
| tree | e069844eaf92cc434b334d4e142f1479948aaf12 /.gitignore | |
| parent | 8d4db7e81ac3147f8da77618e2a60a0175c1275a (diff) | |
| download | pylint-git-c04ba16727f171742ef7fa1e8c70b09fbfef5eb5.tar.gz | |
[doc] Add the generated rst to the repository for easier review
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore index b23c8a5f5..ec5d55dd8 100644 --- a/.gitignore +++ b/.gitignore @@ -17,9 +17,6 @@ doc/user_guide/messages/fatal/ doc/user_guide/messages/information/ doc/user_guide/messages/refactor/ doc/user_guide/messages/warning/ -doc/user_guide/checkers/extensions.rst -doc/user_guide/checkers/features.rst -doc/user_guide/configuration/all-options.rst pyve build-stamp .coverage |