summaryrefslogtreecommitdiff
path: root/tools/setignore
Commit message (Expand)AuthorAgeFilesLines
* add *.cmt and *.cmti to lists of ignored filesDamien Doligez2012-09-101-1/+2
* merge changes from 4.00 branching to 4.00.0 (part 1)Damien Doligez2012-07-261-0/+1
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-0/+12
* uniform .ignore systemDamien Doligez2011-07-201-0/+27