]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 84da829) | patch
- bugfix: installs also cmi for modules which doesn't have mli
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 25 Dec 2002 20:39:02 +0000 (20:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 25 Dec 2002 20:39:02 +0000 (20:39 +0000)
commit113bef6891e9ddaba7d81addbc1b2182fb234913
treefcad77d0d6a746b42f7c73c52869eae86f3f7e77tree | snapshot
parent84da82981de31834b38693a8da428373571b556fcommit | diff
- bugfix: installs also cmi for modules which doesn't have mli
helm/DEVEL/ocaml-http/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.