Skip to content

Make all build targets phony#35

Merged
FichteFoll merged 1 commit intomasterfrom
make-phony
Nov 20, 2025
Merged

Make all build targets phony#35
FichteFoll merged 1 commit intomasterfrom
make-phony

Commits

Commits on Nov 20, 2025