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 /scripts-dev/lint.sh | |
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 'scripts-dev/lint.sh')
-rwxr-xr-x | scripts-dev/lint.sh | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/scripts-dev/lint.sh b/scripts-dev/lint.sh |