Skip to content

Add a Makefile target 'distclean' for deleting project metadata files#744

Merged
seisman merged 1 commit intomasterfrom make-distcleanDec 18, 2020

Commits

Commits on Dec 17, 2020