diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-09-06 13:35:36 +0200 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-09-06 13:35:36 +0200 |
| commit | 41b0751a5d35b58d8479ed82cf43acc02e5933bf (patch) | |
| tree | 354f1554836670e4dfcdb0a600c3468c0dd1d8e3 /src/shell_manager.cc | |
| parent | 8d24d2aa2b0dbd129a815ef5e663541a4c3adec1 (diff) | |
tweak make output highlighting
Diffstat (limited to 'src/shell_manager.cc')
0 files changed, 0 insertions, 0 deletions