Closed fgrunewald closed 1 year ago
Fixes #283.
.coverage should not be committed, and should be added to .gitignore. .coverage is removed in this PR it was already commited earlier
.coverage
Fixes #283.