Skip to content

fix distclean, add distcheck to CI#96

Merged
stevengj merged 1 commit into
masterfrom
distcheck_files
Jun 26, 2026
Merged

fix distclean, add distcheck to CI#96
stevengj merged 1 commit into
masterfrom
distcheck_files

Commits

Commits on Jun 26, 2026