diff options
| author | Patrick Cloke <clokep@users.noreply.github.com> | 2020-10-28 11:12:21 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-28 11:12:21 -0400 |
| commit | 31d721fbf6655080235003b5576110d477fa2353 (patch) | |
| tree | 1d1bb27413104ec063d17611172b646afde0db53 /mypy.ini | |
| parent | Add an admin APIs to allow server admins to list users' pushers (#8610) (diff) | |
| download | synapse-31d721fbf6655080235003b5576110d477fa2353.tar.xz | |
Add type hints to application services. (#8655)
Diffstat (limited to 'mypy.ini')
| -rw-r--r-- | mypy.ini | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mypy.ini b/mypy.ini index 1fbd8decf8..1ece2ba082 100644 --- a/mypy.ini +++ b/mypy.ini @@ -57,6 +57,7 @@ files = synapse/server_notices, synapse/spam_checker_api, synapse/state, + synapse/storage/databases/main/appservice.py, synapse/storage/databases/main/events.py, synapse/storage/databases/main/registration.py, synapse/storage/databases/main/stream.py, @@ -82,6 +83,9 @@ ignore_missing_imports = True [mypy-zope] ignore_missing_imports = True +[mypy-bcrypt] +ignore_missing_imports = True + [mypy-constantly] ignore_missing_imports = True |