summaryrefslogtreecommitdiff
path: root/doc/colm
Commit message (Expand)AuthorAgeFilesLines
* Changed 'enforces' back to 'forces'Jan Max Meyer2019-09-131-1/+1
* Fixing some typos in existing docsJan Max Meyer2019-09-126-12/+12
* lifed colm doc up to doc/colmAdrian Thurston2019-09-1143-0/+898