diff options
| author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2020-07-22 00:40:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-22 00:40:55 +0100 |
| commit | 931b02684481fb6b5daefd9218baf6a4b0b941f6 (patch) | |
| tree | df54691b670ec3358e391b3ae556f019fb7b842b /scripts-dev/config-lint.sh | |
| parent | Track command processing as a background process (#7879) (diff) | |
| download | synapse-931b02684481fb6b5daefd9218baf6a4b0b941f6.tar.xz | |
Remove an unused prometheus metric (#7878)
Diffstat (limited to 'scripts-dev/config-lint.sh')
0 files changed, 0 insertions, 0 deletions