aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/pluginsopt.itarget
Commit message (Expand)AuthorAge
* Fix the build of coq via ocamlbuildGravatar letouzey2009-12-08
* Ocamlbuild: improvements suggested by N. PouillardGravatar letouzey2009-04-03