2 Commits

Author	SHA1	Message	Date
Jan	65a43e2d53	issue #3741: attempt to fix terminal color output in Windows (#3753) (#3937) ... * issue #3741: attempt to fix terminal color output in Windows (#3753) * Fix for missing constant in older Windows versions (issue 3742)	2017-12-08 15:47:07 +01:00
jsteemann	27a8adf9b8	moved shell colors into their own feature	2017-05-23 16:53:43 +02:00