diff options
author | David Robertson <davidr@element.io> | 2022-03-04 11:58:49 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-04 11:58:49 +0000 |
commit | 4aeb00ca20a0d9dbb2a104591aca081c723eb6d9 (patch) | |
tree | 8029510b249bc8019cb28d209656af6fd6041ba7 /scripts-dev | |
parent | Spread out sending device lists to remote hosts (#12132) (diff) | |
download | synapse-4aeb00ca20a0d9dbb2a104591aca081c723eb6d9.tar.xz |
Move synctl into `synapse._scripts` and expose as an entrypoint (#12140)
Diffstat (limited to 'scripts-dev')
-rwxr-xr-x | scripts-dev/lint.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts-dev/lint.sh b/scripts-dev/lint.sh |