diff options
| author | w0rp <devw0rp@gmail.com> | 2018-06-24 21:16:45 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-06-24 21:16:45 +0100 |
| commit | 620951b6d3420ca69754f3e1068167729d8c651b (patch) | |
| tree | 2880dce657ca750d3a6179420d655f00136b46fd /ale_linters | |
| parent | 755f1a4ccfff28463b0fe30f74a97390ae59d1fa (diff) | |
| download | ale-620951b6d3420ca69754f3e1068167729d8c651b.zip | |
Close #1453 #1172 - Add ale_linters_ignore for ignoring linter results
Diffstat (limited to 'ale_linters')
0 files changed, 0 insertions, 0 deletions