summaryrefslogtreecommitdiff
path: root/nonstd
AgeCommit message (Collapse)Author
2019-01-27do not track generated source fileJakob Kaivo
2019-01-26new framework for building sources after gitlab migrationJakob Kaivo