Skip to content

chore: Improve Makefile interface and consistency#3

Merged
lkronecker13 merged 2 commits into
mainfrom
chore/improve-project-interface
Aug 21, 2025
Merged

chore: Improve Makefile interface and consistency#3
lkronecker13 merged 2 commits into
mainfrom
chore/improve-project-interface

Commits

Commits on Aug 21, 2025