diff options
| author | Erik Johnston <erik@matrix.org> | 2022-08-24 09:58:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-24 09:58:29 +0100 |
| commit | cbb157548676865793f39b4da0b7f3fa5ee01058 (patch) | |
| tree | 77ff41ddcb9b01938b4efdd109cf90981c86a23e /scripts-dev/lint.sh | |
| parent | Newsfile (diff) | |
| parent | Instrument `_check_sigs_and_hash_and_fetch` to trace time spent in child conc... (diff) | |
| download | synapse-github/erikj/less_state_membership.tar.xz | |
Merge branch 'develop' into erikj/less_state_membership github/erikj/less_state_membership erikj/less_state_membership
Diffstat (limited to 'scripts-dev/lint.sh')
| -rwxr-xr-x | scripts-dev/lint.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts-dev/lint.sh b/scripts-dev/lint.sh |