diff options
author | w0rp <w0rp@users.noreply.github.com> | 2018-11-17 20:28:11 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-17 20:28:11 +0000 |
commit | f538bb440a8d9e5f607fe7a8d54f7862537586d9 (patch) | |
tree | 1eb888a8debc1206e3c13749711597f2f9e14341 /ale_linters/pony | |
parent | 531868f759404e11d1f34f72e19dcd6112a88567 (diff) | |
parent | 1b3fa9828c79a6ca53561945348832de66cbab7b (diff) | |
download | ale-f538bb440a8d9e5f607fe7a8d54f7862537586d9.zip |
Merge pull request #1907 from guill/compile_commands_fix
Fix bug where last C compile flag was ignored
Diffstat (limited to 'ale_linters/pony')
0 files changed, 0 insertions, 0 deletions