diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-05-20 14:11:51 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-05-20 14:11:51 +0200 |
| commit | 203364b072697ac154b25569bd9c1a7ba487c9d5 (patch) | |
| tree | f72e43f9eb44e6dd88315068ec6aee7684cc78ce /build.log | |
| parent | c9cc66f2557ee67db0d4d9ff724c68fd24c593b7 (diff) | |
Only use colors for error model "obs"
Diffstat (limited to 'build.log')
0 files changed, 0 insertions, 0 deletions