Skip to content

Two small changes to the Makefile...#2

Merged
davidar merged 1 commit intomainfrom
Makefile-tweaks
Jan 31, 2025
Merged

Two small changes to the Makefile...#2
davidar merged 1 commit intomainfrom
Makefile-tweaks

Commits

Commits on Jan 31, 2025