diff options
| author | Jakob Unterwurzacher | 2016-06-15 23:17:51 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-06-15 23:17:51 +0200 |
| commit | 09e88f31d1b4308bf82c7f4eb0dd83855ad67ffc (patch) | |
| tree | e91a7ea9669fae9c633671ca5ca722fb97f2c254 /benchmark-synthetic.bash | |
| parent | c89455063cfd9c531c0a671251ccfcd46f09403d (diff) | |
toggledlog: assume command of color handling
We want to use colored error messages also outside of main,
so let's handle it in the logging package.
The fatal logger now automatically prints red.
Diffstat (limited to 'benchmark-synthetic.bash')
0 files changed, 0 insertions, 0 deletions