diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-10-22 12:59:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-22 12:59:45 +0200 |
| commit | ee6c5c5c232f3b458e7e4130c0e771ea456a4eeb (patch) | |
| tree | 5dd3b42f1f3f56fb246941d00e9441bf4264b389 /modules/chibi/event_stream_chibi.h | |
| parent | 3dd405c517da351873c1bec01e202a603cee5f75 (diff) | |
| parent | 2bf4553fe056c1fab5367dfae62426d3c7cf8168 (diff) | |
Merge pull request #6858 from zaps166/gcc-color-output
SCons: Use colored output if available, change "colored"->"verbose"
Diffstat (limited to 'modules/chibi/event_stream_chibi.h')
0 files changed, 0 insertions, 0 deletions