summaryrefslogtreecommitdiff
path: root/driver/optmain.mli
Commit message (Expand)AuthorAgeFilesLines
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* optimisation des racinesDamien Doligez2000-01-071-0/+17