summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterignore obsolete option -cJakob Kaivo4 years
 
 
AgeCommit messageAuthor
2020-03-13ignore obsolete option -cHEADmasterJakob Kaivo
2020-03-13skip blank linesJakob Kaivo
2020-03-13parse all of the definitions sectionJakob Kaivo
2020-03-13default to building lexJakob Kaivo
2019-03-13migrate to gitlabJakob Kaivo