diff options
Diffstat (limited to 'misc/scripts/mypy.ini')
| -rw-r--r-- | misc/scripts/mypy.ini | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/misc/scripts/mypy.ini b/misc/scripts/mypy.ini index b3323eacda..45f048f118 100644 --- a/misc/scripts/mypy.ini +++ b/misc/scripts/mypy.ini @@ -1,6 +1,7 @@ [mypy] -ignore_missing_imports = true +ignore_missing_imports = True disallow_any_generics = True +no_implicit_optional = True pretty = True show_column_numbers = True warn_redundant_casts = True |