diff options
author | Claudiu Popa <pcmanticore@gmail.com> | 2019-09-30 10:00:44 +0200 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2019-09-30 10:00:44 +0200 |
commit | 6198797aac41f938dd752620efe04b3e8503e2d1 (patch) | |
tree | bc04df2e5b6ade583584b165ec7d3f729def88c7 /doc | |
parent | aa587eca1ec8a98c42fce6fac6f207bfb9f3a06e (diff) | |
download | pylint-git-6198797aac41f938dd752620efe04b3e8503e2d1.tar.gz |
Pin mypy and typed-ast to fix the CI
Diffstat (limited to 'doc')
-rw-r--r-- | doc/intro.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/intro.rst b/doc/intro.rst index aea0495e4..8fcaf5d12 100644 --- a/doc/intro.rst +++ b/doc/intro.rst @@ -26,7 +26,7 @@ severity of the warnings and errors. .. _pychecker: http://pychecker.sf.net .. _pyflakes: https://github.com/pyflakes/pyflakes .. _flake8: https://gitlab.com/pycqa/flake8/ -.. _mypy: https://github.com/JukkaL/mypy +.. _mypy: https://github.com/python/mypy .. _`PEP 8`: https://www.python.org/dev/peps/pep-0008/ .. _`Guido's style guide`: https://www.python.org/doc/essays/styleguide/ .. _`refactoring book`: https://www.refactoring.com/ |