diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2018-03-27 09:55:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-27 09:55:43 +0100 |
| commit | 018831d601a6fc53216ad448a91bb76b0ac4d8e3 (patch) | |
| tree | 5a34d094612bc4acbfc5500ef21282ac45a1adbd /ale_linters/mail | |
| parent | 27c5faeafe055954b6e3164467844e78f7a07e55 (diff) | |
| parent | dfb3e194d7a05b747c77d312a72e5149595bbcef (diff) | |
| download | ale-018831d601a6fc53216ad448a91bb76b0ac4d8e3.zip | |
Merge pull request #1434 from roel0/master
Automatically determine build flags by parsing `make -n` output #1167
Diffstat (limited to 'ale_linters/mail')
0 files changed, 0 insertions, 0 deletions