diff options
author | David Robertson <davidr@element.io> | 2023-02-09 02:11:56 +0000 |
---|---|---|
committer | David Robertson <davidr@element.io> | 2023-02-09 02:11:56 +0000 |
commit | 03389c71ec3246b848a43a3349bcec37f29a150c (patch) | |
tree | deaa1a637fb65e3aca93e09ff1ce6824ffeca079 | |
parent | Everything else, sorry (diff) | |
download | synapse-03389c71ec3246b848a43a3349bcec37f29a150c.tar.xz |
Disallow-untyped defs tho
-rw-r--r-- | mypy.ini | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/mypy.ini b/mypy.ini |