configure change OK/KO colours
authorNiki Roo <niki@nikiroo.be>
Wed, 18 Sep 2019 20:29:59 +0000 (22:29 +0200)
committerNiki Roo <niki@nikiroo.be>
Wed, 18 Sep 2019 20:29:59 +0000 (22:29 +0200)
commit7e50d3899ffadce4b9a83bcdbea63fbd588160a7
treeb8fcdf7d227a3fb96c290af0fceca1f9992afd58
parentdabc4b957b52302c39cb6d07c6c91a1f91195d5a
configure change OK/KO colours
configure.sh