diff options
| author | David Robertson <davidr@element.io> | 2022-04-08 14:36:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-08 14:36:09 +0100 |
| commit | dd5cc37aa465df8e33fd872de2528dc53740b2a6 (patch) | |
| tree | 62ef2be984ed6f74eca9662ae39f07546dca6dd7 /mypy.ini | |
| parent | Unify HTTP query parameter type hints (#12415) (diff) | |
| download | synapse-dd5cc37aa465df8e33fd872de2528dc53740b2a6.tar.xz | |
Stop maintaining a list of lint targets in `lint.sh` (#12420)
Diffstat (limited to 'mypy.ini')
0 files changed, 0 insertions, 0 deletions