diff options
author | DudeNr33 <3929834+DudeNr33@users.noreply.github.com> | 2022-07-17 17:25:32 +0200 |
---|---|---|
committer | Andreas Finkler <3929834+DudeNr33@users.noreply.github.com> | 2022-07-17 18:13:46 +0200 |
commit | 0c6b79cbf434070f7d6d8842fb932f40fa4217e2 (patch) | |
tree | d1aff6ce63140d83a2e03b1b6259de33ed1fd29d /doc/conf.py | |
parent | 40c9e66e4756e76318469f1484602ca92d505d3f (diff) | |
download | pylint-git-0c6b79cbf434070f7d6d8842fb932f40fa4217e2.tar.gz |
Merge branch origin/main into towncrier
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index 739ee312d..022cab9e2 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -131,7 +131,7 @@ release = __version__ # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files. -exclude_patterns = ["_build", "data/**"] +exclude_patterns = ["_build", "data/**", "whatsnew/fragments"] # The reST default role (used for this markup: `text`) to use for all documents. # default_role = None |