From 95da251dfee9795272f3f904d75b87ef9b5256bc Mon Sep 17 00:00:00 2001 From: Mohit Mori Date: Sun, 4 May 2025 19:38:32 -0500 Subject: [PATCH] Delete mypi.ini --- mypi.ini | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 mypi.ini diff --git a/mypi.ini b/mypi.ini deleted file mode 100644 index 64218bc..0000000 --- a/mypi.ini +++ /dev/null @@ -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