diff options
Diffstat (limited to 'misc/scripts/mypy.ini')
| -rw-r--r-- | misc/scripts/mypy.ini | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/misc/scripts/mypy.ini b/misc/scripts/mypy.ini deleted file mode 100644 index c1ea695..0000000 --- a/misc/scripts/mypy.ini +++ /dev/null @@ -1,11 +0,0 @@ -[mypy] -ignore_missing_imports = true -disallow_any_generics = True -pretty = True -show_column_numbers = True -warn_redundant_casts = True -warn_return_any = True -warn_unreachable = True - -namespace_packages = True -explicit_package_bases = True |