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