summaryrefslogtreecommitdiff
path: root/nonstd/Makefile
AgeCommit message (Expand)Author
2019-01-27merged into top-level MakefileJakob Kaivo
2019-01-26new framework for building sources after gitlab migrationJakob Kaivo