diff options
| author | Erik Johnston <erik@matrix.org> | 2020-06-17 14:13:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-17 14:13:41 +0100 |
| commit | e07a8caf58fad2c56518560cfc31d90a761bd5a9 (patch) | |
| tree | dc839d818ecb536a1d5e4154aab793356477a4d8 /mypy.ini | |
| parent | Support running multiple media repos. (#7706) (diff) | |
| download | synapse-e07a8caf58fad2c56518560cfc31d90a761bd5a9.tar.xz | |
Add support for using rust-python-jaeger-reporter (#7697)
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 3533797d68..a61009b197 100644 --- a/mypy.ini +++ b/mypy.ini @@ -78,3 +78,6 @@ ignore_missing_imports = True [mypy-authlib.*] ignore_missing_imports = True + +[mypy-rust_python_jaeger_reporter.*] +ignore_missing_imports = True |