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 |