Martin Hořeňovský 084b1d5fe6
Fix colourized output to file
This change should be backwards compatible, but it would be better
to make the console colour API take an argument in the long term.

Fixes #1502
2019-01-19 13:32:39 +01:00
..
2018-09-08 11:05:52 +02:00
2018-09-08 11:05:52 +02:00
2019-01-19 13:32:39 +01:00
2018-09-08 11:05:52 +02:00
2018-11-26 20:50:38 +01:00
2018-11-05 19:38:37 +01:00