diff options
| author | Gerry Agbobada <10496163+gagbo@users.noreply.github.com> | 2017-10-25 23:29:36 +0200 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2017-10-25 22:29:36 +0100 |
| commit | 25d2af0b2529006ba869a5906afae028f7b9f28e (patch) | |
| tree | 67cc89b1564279e16a1e0336ba9d56a59ab3ddd8 /ale_linters/idris | |
| parent | 960ae62aaa30d26fcfff57d6593e54a34a93ec68 (diff) | |
| download | ale-25d2af0b2529006ba869a5906afae028f7b9f28e.zip | |
Handle multiple files localtion lists with gcc handler (#1034)
Handle multiple files in the GCC handler.
Diffstat (limited to 'ale_linters/idris')
0 files changed, 0 insertions, 0 deletions