diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2019-01-21 20:50:32 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2019-01-21 20:52:07 +0100 |
| commit | 9bad1e0b22c1065c5ab73d74ac96747ecf33dcdf (patch) | |
| tree | be3e6476555ce97140f8135d9b4b0a4580cfb0d8 /contrib | |
| parent | f0c9e1c22b8a043983f3ba90ad910b67cf981e36 (diff) | |
| parent | 948d8f4f10c31220ba4b6779cc862e2b6a0af5f6 (diff) | |
Merge #15219: lint: Enable python linters via an array
948d8f4f10c31220ba4b6779cc862e2b6a0af5f6 lint: Enable python linters via an array (Ben Woosley)
Pull request description:
This assures consistent recording of the enabled linters.
This applies the same fix as #15170 to lint-python.sh
Tree-SHA512: 6d03f919e86e7c2465475c88b25dd84391282bcc11728078024daf0432a7dccddf9e4a2cdae35d6ef374971cb4e12f0fa21b58f757e25f2fe7c12ceb4f4b2c57
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions