summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2019-01-27new utility to generate makefiles with dependenciesJakob Kaivo
2019-01-27do not track generated source fileJakob Kaivo
2019-01-26new framework for building sources after gitlab migrationJakob Kaivo