Delete mypi.ini

2025-05-04 19:38:32 -05:00 · 2025-05-04 19:38:32 -05:00 · 95da251dfe
parent b1f610d432
commit 95da251dfe
1 changed files with 0 additions and 7 deletions
--- a/mypi.ini
+++ b/mypi.ini
@ -1,7 +0,0 @@
 [mypy]
 check_untyped_defs = True
 disallow_any_generics = True
 disallow_untyped_calls = True
 disallow_untyped_defs = True
 ignore_missing_imports = True
 strict_optional = False