summary refs log tree commit diff
path: root/mypy.ini
diff options
context:
space:
mode:
authorDavid Robertson <davidr@element.io>2022-04-03 21:21:08 +0100
committerGitHub <noreply@github.com>2022-04-03 21:21:08 +0100
commit80839a44f1752669c8c4e0de440b1e49ba909aeb (patch)
treebf4a775c2dd23ad80bbda7d323e4299d9c535c0d /mypy.ini
parentAdd type hints for `tests/unittest.py`. (#12347) (diff)
downloadsynapse-80839a44f1752669c8c4e0de440b1e49ba909aeb.tar.xz
Remove more dead/broken dev scripts (#12355)
Diffstat (limited to 'mypy.ini')
-rw-r--r--mypy.ini3
1 files changed, 0 insertions, 3 deletions
diff --git a/mypy.ini b/mypy.ini
index 85291099ac..ac2a5c753d 100644
--- a/mypy.ini
+++ b/mypy.ini
@@ -24,11 +24,8 @@ files =
 exclude = (?x)
   ^(
    |scripts-dev/build_debian_packages.py
-   |scripts-dev/definitions.py
    |scripts-dev/federation_client.py
-   |scripts-dev/hash_history.py
    |scripts-dev/release.py
-   |scripts-dev/tail-synapse.py
 
    |synapse/_scripts/export_signing_key.py
    |synapse/_scripts/move_remote_media_to_new_store.py