summary refs log tree commit diff
path: root/mypy.ini
diff options
context:
space:
mode:
Diffstat (limited to 'mypy.ini')
-rw-r--r--mypy.ini1
1 files changed, 0 insertions, 1 deletions
diff --git a/mypy.ini b/mypy.ini

index d371886a8d..33c7d3e638 100644 --- a/mypy.ini +++ b/mypy.ini
@@ -28,7 +28,6 @@ exclude = (?x) |scripts-dev/definitions.py |scripts-dev/federation_client.py |scripts-dev/hash_history.py - |scripts-dev/list_url_patterns.py |scripts-dev/release.py |scripts-dev/tail-synapse.py