summaryrefslogtreecommitdiffstats
path: root/development/ocamlbuild/ocamlbuild.info
AgeCommit message (Expand)Author
2020-11-0720201107.1 global branch merge.current-20201107.1 Matteo Bernardini
2018-03-17development/ocamlbuild: Updated for version 0.12.0. Matteo Bernardini
2016-12-31development/ocamlbuild: Updated for version 0.10.1. Matteo Bernardini
2016-07-20development/ocamlbuild: Added (ocaml build tool). Matteo Bernardini