diff options
author | Shay <hillerys@element.io> | 2021-12-20 04:18:09 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-20 12:18:09 +0000 |
commit | 8ad39438fafef653d019e3214037c96257507e55 (patch) | |
tree | d4f3c38900286feba9172b2602c27a59ce8652a1 /mypy.ini | |
parent | Add type hints to `synapse/tests/rest/admin` (#11590) (diff) | |
download | synapse-8ad39438fafef653d019e3214037c96257507e55.tar.xz |
Add opentracing types (#11603)
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 c2cb71e0c0..3279c9bb21 100644 --- a/mypy.ini +++ b/mypy.ini @@ -308,9 +308,6 @@ ignore_missing_imports = True [mypy-netaddr] ignore_missing_imports = True -[mypy-opentracing] -ignore_missing_imports = True - [mypy-parameterized.*] ignore_missing_imports = True |