Horst Schirmeier 7c51ca0a63 visualfail: fix color coding ...

Change-Id: If76d8e9f7a22523868ea6977db5c0f58a0576224

2015-01-06 17:11:29 +01:00

..

resultbrowser

Fail* result browser for pruning experiments.

2014-02-17 10:17:25 +01:00

VisualFAIL

visualfail: fix color coding

2015-01-06 17:11:29 +01:00