summaryrefslogtreecommitdiff
path: root/tools/.ignore
Commit message (Expand)AuthorAgeFilesLines
* Merge ocmal 4.00 r12217 -> r12778Luc Maranget2012-08-231-0/+4
* ocaml/trunk merged 11009 -> 12212Luc Maranget2012-08-101-0/+25