diff options
| author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2020-11-24 12:53:00 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-24 12:53:00 +0000 |
| commit | 97b35ee259b062412ed2da8272dd200eb29ee93d (patch) | |
| tree | 72c9024092fa3723fa6cdf5cd381220f671882b5 /mypy.ini | |
| parent | Update turn-howto (#8779) (diff) | |
| download | synapse-97b35ee259b062412ed2da8272dd200eb29ee93d.tar.xz | |
Add a script to sign arbitrary json objects. (#8772)
Diffstat (limited to 'mypy.ini')
| -rw-r--r-- | mypy.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mypy.ini b/mypy.ini index 0cf7c93f45..f4f981e813 100644 --- a/mypy.ini +++ b/mypy.ini @@ -8,6 +8,7 @@ show_traceback = True mypy_path = stubs warn_unreachable = True files = + scripts-dev/sign_json, synapse/api, synapse/appservice, synapse/config, |