This repository was archived by the owner on Feb 24, 2026. It is now read-only.

minor cleanups for clean.sh#13

Merged

stevendborrelli merged 1 commit intoupbound:mainfrom

stevendborrelli:clean-clean

Jan 12, 2026

Commits on Jan 12, 2026

minor cleanups for clean.sh
stevendborrelli
committed