diff options
| author | David Robertson <davidr@element.io> | 2022-04-03 21:21:08 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-03 21:21:08 +0100 |
| commit | 80839a44f1752669c8c4e0de440b1e49ba909aeb (patch) | |
| tree | bf4a775c2dd23ad80bbda7d323e4299d9c535c0d /mypy.ini | |
| parent | Add type hints for `tests/unittest.py`. (#12347) (diff) | |
| download | synapse-80839a44f1752669c8c4e0de440b1e49ba909aeb.tar.xz | |
Remove more dead/broken dev scripts (#12355)
Diffstat (limited to 'mypy.ini')
| -rw-r--r-- | mypy.ini | 3 |
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 |