summaryrefslogtreecommitdiff
path: root/.merlin
Commit message (Expand)AuthorAgeFilesLines
* .merlin: add forgotten dirThomas Refis2018-06-291-0/+3
* fix .merlin following merge of GPR#1010Thomas Refis2018-02-131-2/+2
* Remove references to the "num" library.Xavier Clerc2017-12-111-3/+0
* ocamltest: the test driver for the OCaml compilerSébastien Hinderer2017-09-181-0/+3
* Add middle_end to MakefilesPierre Chambart2016-01-221-0/+6
* whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-111-1/+0
* add a .merlin fileGabriel Scherer2015-05-011-0/+51