summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2017-06-15Move to -git formatDonald Carr
2017-06-14Move to tagged based versioningDonald Carr
2017-06-12Clean up quint packagingDonald Carr
2016-08-11Adjust infoDonald Carr
2016-02-26Fix various oversightsDonald Carr
2016-02-26Initial commit of quintDonald Carr