Skip to content

Makefile: simplify and clean-up#7453

Merged
alessio merged 2 commits intomasterfrom alessio/makefile-cleanup-and-fixesOct 5, 2020

Commits

Commits on Oct 5, 2020