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 | |
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')
0 files changed, 0 insertions, 0 deletions