document the fault-coverage checker
[nobug] / doc / nobug_manual.conf
2010-08-03 Christian Thaeterdocument the fault-coverage checker
2010-01-23 Christian ThaeterDocumentation update for new 'context' facility. Bump... 201001.2
2009-09-04 Christian Thaeterrename manual.conf to nobug_manual.conf