diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2018-05-09 09:14:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-09 09:14:38 +0100 |
| commit | 38c66d33fe8022803497c49239b06112ccbd0a83 (patch) | |
| tree | de361946a2b9a4ee06c51cd79bd2bf5e9c07c494 /ale_linters/d | |
| parent | f7ecf3f47a22de588c241cd17d75331875097110 (diff) | |
| parent | 5fe74c7dc85952a4d902ec73ae1624c6940a995c (diff) | |
| download | ale-38c66d33fe8022803497c49239b06112ccbd0a83.zip | |
Merge pull request #1563 from IngoHeimbach/fix/gcc-fatal-error
Fatal GCC errors are handled as errors not warnings
Diffstat (limited to 'ale_linters/d')
0 files changed, 0 insertions, 0 deletions