Skip to content

Preserve reg_info_*.bin during make clobber/distclean - #11

Merged
widgetii merged 1 commit into
masterfrom
fix/preserve-reg-info-on-clobber
May 5, 2026
Merged

Preserve reg_info_*.bin during make clobber/distclean#11
widgetii merged 1 commit into
masterfrom
fix/preserve-reg-info-on-clobber

Commits

Commits on May 5, 2026