Forked from
Core Modules / dune-common
Source project has a limited visibility.
Name | Last commit | Last update |
---|
* Fail if 'Module:' is not specified in dune.module * Replace three calls for 'name' with one * Look for glibtoolize first (darwin compatibility) Credits go to Ellias Pipping. [[Imported from SVN: r5295]]
Name | Last commit | Last update |
---|---|---|