diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-02-16 08:36:41 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-02-16 12:31:59 +0100 |
| commit | af53b96fd5363150a47bec97f74b2b3159368ed3 (patch) | |
| tree | 2382d3fe2ab1d688837d837f4248b10ed2152aa4 /Makefile.common | |
| parent | d2b7a485963ff079a27e613a178921479fcc6d89 (diff) | |
New short stand-alone ocamllibdep to build .mllib dependencies files.
Diffstat (limited to 'Makefile.common')
0 files changed, 0 insertions, 0 deletions