Skip to content

Fix makefile now that we've renamed files#194

Merged
david-a-wheeler merged 1 commit intomainfrom
fix-makefile
Jul 30, 2025
Merged

Fix makefile now that we've renamed files#194
david-a-wheeler merged 1 commit intomainfrom
fix-makefile

Commits

Commits on Jul 29, 2025