diff options
| author | Horacio Sanson <hsanson@gmail.com> | 2021-08-08 22:15:36 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-08 22:15:36 +0900 |
| commit | d6f5fb69ad49ad8377fafb2fdfe80819d39f5f01 (patch) | |
| tree | 9dd634fb3de0edd7334fb8ff670877e502c12463 /test | |
| parent | 775d121d46b2b2cf61997598e4dc664476fd470d (diff) | |
| download | ale-d6f5fb69ad49ad8377fafb2fdfe80819d39f5f01.zip | |
Fix 3853 - Update :floppy_disk: icon on supported tools list. (#3854)
Look for all linters that have "lint_file" set to 1 and verify tools
that have it have the :floopy_disk: icon set and those that don't do not
have it.
Correspondingly added/removed !! on
ale-supported-languages-and-tools.txt file.
Co-authored-by: Horacio Sanson <horacio@allm.inc>
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions