diff options
| author | Moritz Röhrich <moritz@ildefons.de> | 2020-11-29 13:50:24 +0100 |
|---|---|---|
| committer | Moritz Röhrich <moritz@ildefons.de> | 2020-11-29 15:09:47 +0100 |
| commit | d9b74caf43ed2bfeb3f090a18fe8b17fe5438c3f (patch) | |
| tree | be4669a4010e091d1ed6bd8eec2c2f420233bb8c /ale_linters/dafny | |
| parent | 03b6978a270107b670b0363d50f3eed4b365ba26 (diff) | |
| download | ale-d9b74caf43ed2bfeb3f090a18fe8b17fe5438c3f.zip | |
hadolint: Recognize message type
Hadolint is in the process of adding the severity of a lint rule to the
commandline output: https://github.com/hadolint/hadolint/pull/501
This change utilizes that to show the severity in vim.
Diffstat (limited to 'ale_linters/dafny')
0 files changed, 0 insertions, 0 deletions