diff options
| author | David Robertson <davidr@element.io> | 2022-04-01 14:41:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-01 13:41:42 +0000 |
| commit | 336bff1104453d83e8286385e56a1e986cd375ed (patch) | |
| tree | 58ebfa07ba95d15fb347593446066c7ff7d7de44 /mypy.ini | |
| parent | Use a sequence to generate AS transaction IDs, drop `last_txn` AS state (#12209) (diff) | |
| download | synapse-336bff1104453d83e8286385e56a1e986cd375ed.tar.xz | |
Burn `check_signature` dev script. (#12351)
Diffstat (limited to 'mypy.ini')
| -rw-r--r-- | mypy.ini | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/mypy.ini b/mypy.ini index 33c7d3e638..84e6b8646e 100644 --- a/mypy.ini +++ b/mypy.ini @@ -24,7 +24,6 @@ files = exclude = (?x) ^( |scripts-dev/build_debian_packages.py - |scripts-dev/check_signature.py |scripts-dev/definitions.py |scripts-dev/federation_client.py |scripts-dev/hash_history.py |