diff options
author | Marcello Stanisci <stanisci.m@gmail.com> | 2017-12-06 17:30:49 +0100 |
---|---|---|
committer | Marcello Stanisci <stanisci.m@gmail.com> | 2017-12-06 17:30:49 +0100 |
commit | 4fbc4e6bdd35585e0cac94bedfdc0f0dcd1e2c99 (patch) | |
tree | 665d9008098a7f782e76036f767715eb81c9adeb /mypy | |
parent | 67796de837266abc574b38894633308c2e3206d8 (diff) | |
download | deployment-4fbc4e6bdd35585e0cac94bedfdc0f0dcd1e2c99.tar.gz deployment-4fbc4e6bdd35585e0cac94bedfdc0f0dcd1e2c99.tar.bz2 deployment-4fbc4e6bdd35585e0cac94bedfdc0f0dcd1e2c99.zip |
mypy wants python version
Diffstat (limited to 'mypy')
-rw-r--r-- | mypy/mypy.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mypy/mypy.ini b/mypy/mypy.ini index 976ba02..924c128 100644 --- a/mypy/mypy.ini +++ b/mypy/mypy.ini @@ -1,2 +1,3 @@ [mypy] ignore_missing_imports = True +python_version = 3.5 |