diff options
author | Claudiu Popa <pcmanticore@gmail.com> | 2018-09-19 20:11:00 +0200 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-09-19 20:11:00 +0200 |
commit | 74a11318afe821f0d85ee1f275160d24caf42aae (patch) | |
tree | a5fe2eaa10d795e64c2ecb45225698f5477b9690 | |
parent | 9d224833f1052b3792df2765b52388e16cff4791 (diff) | |
download | pylint-git-74a11318afe821f0d85ee1f275160d24caf42aae.tar.gz |
Revert "Check if an updated typing version fixes readthedocs"
This reverts commit 9d224833f1052b3792df2765b52388e16cff4791.
-rw-r--r-- | doc/requirements.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/requirements.txt b/doc/requirements.txt index cc9afc5db..e7dffaacc 100644 --- a/doc/requirements.txt +++ b/doc/requirements.txt @@ -1,2 +1 @@ python-docs-theme -typing |