Skip to content

Added 'clean' target for makefile#235

Merged
fhennig merged 5 commits intomainfrom
make-clean
Jul 7, 2022
Merged

Added 'clean' target for makefile#235
fhennig merged 5 commits intomainfrom
make-clean

Commits

Commits on Jul 7, 2022