summaryrefslogtreecommitdiff
path: root/stdlib/templates/moreLabels.template.mli
Commit message (Expand)AuthorAgeFilesLines
* Regularize indentation of code examplesJohn Whitington2021-01-181-2/+2
* Rename tools/unlabel --> tools/sync_stdlib_docsJohn Whitington2020-09-101-1/+1
* Check-typo and indenting all doneJohn Whitington2020-07-311-5/+11
* Generate moreLabels.mli programaticallyJohn Whitington2020-07-181-0/+39