diff options
| author | David Robertson <davidr@element.io> | 2021-10-11 17:42:10 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-11 17:42:10 +0100 |
| commit | e0f11ae4a5688a0521f20f36e440c87cfccfd69a (patch) | |
| tree | 8b10d1d2c36fae9d12adba20e544164206c9adcc /scripts-dev/lint.sh | |
| parent | Include the requirements for [mypy,lint] in [dev] (#11034) (diff) | |
| download | synapse-e0f11ae4a5688a0521f20f36e440c87cfccfd69a.tar.xz | |
disallow-untyped-defs for synapse.push (#11023)
Diffstat (limited to 'scripts-dev/lint.sh')
0 files changed, 0 insertions, 0 deletions