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