diff options
| author | Thaddeus Crews <repiteo@outlook.com> | 2023-11-21 15:33:14 -0600 |
|---|---|---|
| committer | Thaddeus Crews <repiteo@outlook.com> | 2023-12-11 15:59:06 -0600 |
| commit | 8cd984b3cb1c684f3ffa43dc2ddef27b74dd32ed (patch) | |
| tree | fcd7b6988225b60f18d4a6b7f6151bb10c935cf0 /misc/scripts/mypy.ini | |
| parent | 6882e5042d1ebada62f07130a44a85b032944c31 (diff) | |
| download | redot-engine-8cd984b3cb1c684f3ffa43dc2ddef27b74dd32ed.tar.gz | |
SCons: Update mypy
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 |