summaryrefslogtreecommitdiffstats
path: root/misc
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2024-05-15 12:09:59 +0200
committerRémi Verschelde <rverschelde@gmail.com>2024-05-15 12:09:59 +0200
commit44833c79955d22e9f3f0a5b2fe659fc6c07fc8f3 (patch)
treedb5a68e71f1c33b6d47317c97bd2e22818960182 /misc
parent5caa8e41f7ad0db20a89eb9b741e75d45cbb283b (diff)
parentf4e58691c2e189a2fb9543737dda2cc874f3e1b4 (diff)
downloadredot-engine-44833c79955d22e9f3f0a5b2fe659fc6c07fc8f3.tar.gz
Merge pull request #91954 from Repiteo/scons/pyproject.toml
CI: Consolidate pysettings via `pyproject.toml`
Diffstat (limited to 'misc')
-rw-r--r--misc/scripts/mypy.ini13
1 files changed, 0 insertions, 13 deletions
diff --git a/misc/scripts/mypy.ini b/misc/scripts/mypy.ini
deleted file mode 100644
index 45f048f118..0000000000
--- a/misc/scripts/mypy.ini
+++ /dev/null
@@ -1,13 +0,0 @@
-[mypy]
-ignore_missing_imports = True
-disallow_any_generics = True
-no_implicit_optional = 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
-exclude = (?x)(^thirdparty)