diff options
author | Marc Mueller <30130371+cdce8p@users.noreply.github.com> | 2021-03-07 16:49:57 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-07 16:49:57 +0100 |
commit | 04937c3098f2497f88792085f15c36741b9a1f15 (patch) | |
tree | f5eb41de3306924b50625832e3cb1faa22c455af /tox.ini | |
parent | 0a956d473d5c215c3248df98dc0272005116c55b (diff) | |
download | pylint-git-04937c3098f2497f88792085f15c36741b9a1f15.tar.gz |
Typing changes + disable unused pylint plugin for pre-commit (#4205)
Diffstat (limited to 'tox.ini')
-rw-r--r-- | tox.ini | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -11,6 +11,7 @@ deps = commands = pre-commit run pylint --all-files + [testenv:formatting] basepython = python3 deps = |