Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Just some tbl things. (#1699) | Gabriel Radanne | 2018-07-23 | 1 | -1/+1 |
* | Create warning 64, for uses of -unsafe with a -pp that returns a marshalled ast | Valentin Gatien-Baron | 2018-07-15 | 1 | -1/+1 |
* | Whitespace and overlong line fixes. | David Allsopp | 2018-06-14 | 1 | -1/+2 |
* | Correct copyright header | David Allsopp | 2017-10-25 | 1 | -0/+2 |
* | Documentation tool: add tools/lintapidiff.ml | Török Edwin | 2017-02-21 | 1 | -0/+313 |