diff options
author | Claudiu Popa <pcmanticore@gmail.com> | 2019-03-29 09:33:36 +0100 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2019-03-29 09:33:36 +0100 |
commit | a2801fd820a7adc3c67afd21767ae2b022296cb5 (patch) | |
tree | 3397100cd94aa3153f907c19c1435ac3f2e60512 /tox.ini | |
parent | af7eda4a62a572f055febdee2528eca6e2037ca0 (diff) | |
download | pylint-git-a2801fd820a7adc3c67afd21767ae2b022296cb5.tar.gz |
Pin sphinx to the latest and fix the warning it caused
Diffstat (limited to 'tox.ini')
-rw-r--r-- | tox.ini | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -93,7 +93,7 @@ usedevelop = True changedir = doc/ whitelist_externals = rm deps = - sphinx + sphinx==2.0 python-docs-theme commands = |