Skip to content

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

Closed
thet wants to merge 2 commits intomainfrom
use-make-features
Closed

Makefile: Use file modification checking and better use of Make featu…#28
thet wants to merge 2 commits intomainfrom
use-make-features

Commits

Commits on Jul 10, 2023

Commits on Oct 20, 2023