diff options
| author | w0rp <devw0rp@gmail.com> | 2019-10-18 16:22:17 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2019-10-18 16:22:17 +0100 |
| commit | c06467438dff38b939fd81b32395296d01a59df6 (patch) | |
| tree | 9c25dba7617f127b1526b07ea7bf9d47e8281de0 /ale_linters | |
| parent | 5e69aaf4c2b4ffbfd4fbe0af820e23bf559b8e14 (diff) | |
| download | ale-c06467438dff38b939fd81b32395296d01a59df6.zip | |
Mention the disabled option for message severity
Diffstat (limited to 'ale_linters')
0 files changed, 0 insertions, 0 deletions