diff options
| author | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2021-04-05 15:32:01 +0200 |
|---|---|---|
| committer | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2021-04-06 22:27:52 +0200 |
| commit | 0b250de75ca12b0fd142662323bc5439943bdd60 (patch) | |
| tree | c4d5ce015fad7e2c2edeb3de0e1eff7756d730ed /doc | |
| parent | 74830c336284717083b0c691a08528581de53cff (diff) | |
| download | pylint-git-0b250de75ca12b0fd142662323bc5439943bdd60.tar.gz | |
Add configuration file to change the setting in read the doc
So contributors do not need admin right in read the doc to change settings if no admin can do it
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/requirements.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/requirements.txt b/doc/requirements.txt index cecbaad52..1216e39c1 100644 --- a/doc/requirements.txt +++ b/doc/requirements.txt @@ -1,2 +1,3 @@ Sphinx==3.5.3 python-docs-theme==2020.12 +-e . |