summaryrefslogtreecommitdiff
path: root/tools/lintapidiff.mli
Commit message (Collapse)AuthorAgeFilesLines
* Fix lintapidiff so that it compilesSébastien Hinderer2022-12-121-0/+17