summaryrefslogtreecommitdiff
path: root/development/ocaml/configure.patch
Commit message (Expand)AuthorAge
* development/ocaml: Updated for version 3.12.1.Ferenc Deak2011-11-26