diff options
author | w0rp <w0rp@users.noreply.github.com> | 2019-10-28 13:14:14 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-28 13:14:14 +0000 |
commit | 0d4dfb61dc2bcb82612ae7407e9a6cbc7b020576 (patch) | |
tree | af3aa8ebbb8adfbb1bba65bd484de417893c8973 /ale_linters/c | |
parent | 67d0ccc398ca7650bb2c774a94d098bee3049169 (diff) | |
parent | 62602569b33d61d899da4345009dcc4b373d80d8 (diff) | |
download | ale-0d4dfb61dc2bcb82612ae7407e9a6cbc7b020576.zip |
Merge pull request #2700 from elebow/clangcheck-no-color-diagnostics
clangcheck: Add -fno-color-diagnostics (closes #2188)
Diffstat (limited to 'ale_linters/c')
0 files changed, 0 insertions, 0 deletions