-
Thimo Neubauer authored
only needed if Dune should be installed globally (or distributed as a tarball) [[Imported from SVN: r213]]
Thimo Neubauer authoredonly needed if Dune should be installed globally (or distributed as a tarball) [[Imported from SVN: r213]]