3 Commits

Author	SHA1	Message	Date
Sebastian Pipping	224c217eb6	clean_coverage.sh: Use portable shebang	2019-07-20 17:05:32 +02:00
Marco Maggi	54f1dff7ac	added shebang and comments to clean_coverage script	2019-07-20 17:05:02 +02:00
Rhodri James	8f1346cdbe	Add utility script file to tidy up after running coverage tests	2017-07-22 22:49:16 +02:00