diff options
author | lovetox <philipp@hoerist.com> | 2020-04-19 08:37:55 +0300 |
---|---|---|
committer | lovetox <philipp@hoerist.com> | 2020-04-19 09:41:31 +0300 |
commit | a5dccb1538f73e8547ce905d5b4d90e1a276116a (patch) | |
tree | 214527541cfb68caee97a67884339fbac2270075 /mypy.ini | |
parent | f48e6f59858cfa7a836a12f2a54b26f48e04c60a (diff) |
Add mypy.ini
Diffstat (limited to 'mypy.ini')
-rw-r--r-- | mypy.ini | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/mypy.ini b/mypy.ini new file mode 100644 index 0000000..4cd3d20 --- /dev/null +++ b/mypy.ini @@ -0,0 +1,14 @@ +[mypy] +python_version = 3.7 +warn_unused_configs = True +disallow_incomplete_defs = True +allow_redefinition = True + +[mypy-gi.*] +ignore_missing_imports = True + +[mypy-precis_i18n.*] +ignore_missing_imports = True + +[mypy-idna.*] +ignore_missing_imports = True |