Florian Bruhin 311ae78bc3 Adjust check_coverage.py for coverage 4.0.		2015-09-21 07:42:10 +02:00
..
test_check_coverage.py	Adjust check_coverage.py for coverage 4.0.	2015-09-21 07:42:10 +02:00