summaryrefslogtreecommitdiffstats
path: root/driver/optmain.mli
AgeCommit message (Expand)Author
2012-10-15remove all $Id keywordsDamien Doligez
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2000-01-07optimisation des racinesDamien Doligez