Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Regularize indentation of code examples | John Whitington | 2021-01-18 | 1 | -2/+2 |
* | Rename tools/unlabel --> tools/sync_stdlib_docs | John Whitington | 2020-09-10 | 1 | -1/+1 |
* | Check-typo and indenting all done | John Whitington | 2020-07-31 | 1 | -5/+11 |
* | Generate moreLabels.mli programatically | John Whitington | 2020-07-18 | 1 | -0/+39 |