diff options
| author | David Robertson <davidr@element.io> | 2021-10-07 18:56:47 +0100 |
|---|---|---|
| committer | David Robertson <davidr@element.io> | 2021-10-07 19:06:45 +0100 |
| commit | be2adcf69534cdcd95b2194613f55c144038f458 (patch) | |
| tree | 3e491b48c79666025e2ea1e53e4cfd9f127790d0 /mypy.ini | |
| parent | Merge branch 'develop' into dmr/typing/wip (diff) | |
| download | synapse-dmr/typing/wip.tar.xz | |
disallow-untyped-defs for synapse.replication.http._base github/dmr/typing/wip dmr/typing/wip
Diffstat (limited to 'mypy.ini')
| -rw-r--r-- | mypy.ini | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mypy.ini b/mypy.ini index c63b01fe99..8023ccc3e8 100644 --- a/mypy.ini +++ b/mypy.ini @@ -99,6 +99,9 @@ disallow_untyped_defs = True [mypy-synapse.rest.*] disallow_untyped_defs = True +[mypy-synapse.replication.http._base] +disallow_untyped_defs = True + [mypy-synapse.state.*] disallow_untyped_defs = True |