diff options
Diffstat (limited to 'python/Pipfile')
| -rw-r--r-- | python/Pipfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/python/Pipfile b/python/Pipfile index 053f344dcb..796c6282e1 100644 --- a/python/Pipfile +++ b/python/Pipfile @@ -5,6 +5,7 @@ verify_ssl = true [dev-packages] flake8 = ">=3.6.0" +mypy = ">=0.770" pylint = ">=2.8.0" [packages] |