Florian Bruhin 54ae1582af Make check_coverage work when called with a file.		2015-10-04 19:36:26 +02:00
..
test_check_coverage.py	Make check_coverage work when called with a file.	2015-10-04 19:36:26 +02:00