summaryrefslogtreecommitdiff
path: root/tools/lintapidiff.ml
Commit message (Expand)AuthorAgeFilesLines
* Just some tbl things. (#1699)Gabriel Radanne2018-07-231-1/+1
* Create warning 64, for uses of -unsafe with a -pp that returns a marshalled astValentin Gatien-Baron2018-07-151-1/+1
* Whitespace and overlong line fixes.David Allsopp2018-06-141-1/+2
* Correct copyright headerDavid Allsopp2017-10-251-0/+2
* Documentation tool: add tools/lintapidiff.mlTörök Edwin2017-02-211-0/+313