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/lint.sh | |
| 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/lint.sh')
| -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 index 2f5f2c3566..c063fafa97 100755 --- a/scripts-dev/lint.sh +++ b/scripts-dev/lint.sh @@ -85,7 +85,7 @@ else "synapse" "docker" "tests" # annoyingly, black doesn't find these so we have to list them "scripts-dev" - "contrib" "synctl" "setup.py" "synmark" "stubs" ".ci" + "contrib" "setup.py" "synmark" "stubs" ".ci" ) fi fi |