Skip to content

Makefile: Use file modification checking and better use of Make featu…#28

Draft
thet wants to merge 2 commits intomainfrom use-make-features
+18-15

Commits

Commits on Jul 10, 2023

Commits on Oct 20, 2023