]> matita.cs.unibo.it Git - helm.git/commit
added ocamlinit target which creates a .ocamlinit file
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 16 Feb 2004 09:48:18 +0000 (09:48 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 16 Feb 2004 09:48:18 +0000 (09:48 +0000)
commit0ef1e1ba509946f79ff975e9048f0ccc6f053784
tree6dcf3375a649ec06c0ab2376a26ac17941ac811c
parent01b7b3b642833e1421da21741729e643e08e6f76
added ocamlinit target which creates a .ocamlinit file
helm/ocaml/Makefile.common.in
helm/ocaml/Makefile.in