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)

No differences found