diff options
| author | Devaev Maxim <[email protected]> | 2018-09-26 02:57:24 +0300 |
|---|---|---|
| committer | Devaev Maxim <[email protected]> | 2018-09-26 02:57:24 +0300 |
| commit | 81a5311349564a1016c4af2bf18ae872b650e85b (patch) | |
| tree | d01fd027948494e22ae2c14334b98c1515e5e8a4 /mypy.ini | |
| parent | f3946f102fc167efdc53c73412b2c0d6ac6c72c5 (diff) | |
moved kvmd to the root
Diffstat (limited to 'mypy.ini')
| -rw-r--r-- | mypy.ini | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/mypy.ini b/mypy.ini new file mode 100644 index 00000000..df6699a4 --- /dev/null +++ b/mypy.ini @@ -0,0 +1,5 @@ +[mypy] +python_version = 3.7 +ignore_missing_imports = True +disallow_untyped_defs = True +strict_optional = True |