Skip to content

Adds coverage/ dir to .gitignore and make clean#12

Merged
kostz merged 1 commit intomainfrom clean-coverageJan 10, 2025

Commits

Commits on Jan 9, 2025