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 /docs/code_style.md | |
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 'docs/code_style.md')
-rw-r--r-- | docs/code_style.md | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/docs/code_style.md b/docs/code_style.md |