diff options
| author | w0rp <devw0rp@gmail.com> | 2023-09-10 17:44:25 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2023-09-10 17:44:25 +0100 |
| commit | 1bf445c6d5c805db0e0733846538fa4bfd5d8a68 (patch) | |
| tree | 3f95db076bdf2f4e1790f56b57a791138ab2086e /supported-tools.md | |
| parent | 385dc4130c8e8317638ba27f6d87b993de88c05c (diff) | |
| download | ale-1bf445c6d5c805db0e0733846538fa4bfd5d8a68.zip | |
Print the most severe problem with virtualtext
Fix the ordering of virtualtext so we print the most severe problem on a
line. If two problems are the most severe, we will print the left-most
problem.
Diffstat (limited to 'supported-tools.md')
0 files changed, 0 insertions, 0 deletions