2 Commits

Author	SHA1	Message	Date
Jan	79ea9d8291	issue #3741: attempt to fix terminal color output in Windows (#3753)	2017-12-06 16:23:54 +01:00
jsteemann	27a8adf9b8	moved shell colors into their own feature	2017-05-23 16:53:43 +02:00