Delete mypi.ini

2025-05-04 19:40:03 -05:00 · 2025-05-04 19:40:03 -05:00 · 587b27cfec
parent b1f610d432
commit 587b27cfec
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