diff options
author | Philipp Hörist <philipp@hoerist.com> | 2023-01-06 16:15:01 +0300 |
---|---|---|
committer | Philipp Hörist <philipp@hoerist.com> | 2023-01-06 16:15:01 +0300 |
commit | 54ef11172ffa11835535767df2bdd33d7e04e6c5 (patch) | |
tree | 454c9b0f58fb28a6992a7098736bac5e0abc9555 | |
parent | dc408e9fcedadf7d757db9b03abcc14cbfe81165 (diff) |
chore: Remove mypy.ini
-rw-r--r-- | mypy.ini | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/mypy.ini b/mypy.ini deleted file mode 100644 index 71e5d22..0000000 --- a/mypy.ini +++ /dev/null @@ -1,14 +0,0 @@ -[mypy] -python_version = 3.9 -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 |