Florian Bruhin 55efd1358b Work around coverage.py bug in test_check_coverage. ... Fixes #981. See https://bitbucket.org/ned/coveragepy/issues/422/		2015-10-04 18:33:37 +02:00
..
test_check_coverage.py	Work around coverage.py bug in test_check_coverage.	2015-10-04 18:33:37 +02:00