diff options
| author | Claudiu Popa <pcmanticore@gmail.com> | 2018-09-19 20:08:42 +0200 |
|---|---|---|
| committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-09-19 20:08:42 +0200 |
| commit | 9d224833f1052b3792df2765b52388e16cff4791 (patch) | |
| tree | bc5d6b74ca47697dd6808b4196f4e82652ebb554 /doc | |
| parent | 98b08d960f2ad420bc5f19b4132b28335449ff66 (diff) | |
| download | pylint-git-9d224833f1052b3792df2765b52388e16cff4791.tar.gz | |
Check if an updated typing version fixes readthedocs
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 e7dffaacc..cc9afc5db 100644 --- a/doc/requirements.txt +++ b/doc/requirements.txt @@ -1 +1,2 @@ python-docs-theme +typing |