]> matita.cs.unibo.it Git - helm.git/commit
added -g flag to ocamlc per default
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Feb 2004 12:29:30 +0000 (12:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Feb 2004 12:29:30 +0000 (12:29 +0000)
commit51f54cc6883cbb44067fee5387462e7ac83dad1c
treea7d4f88ab8d3a2ce124e5facc2a0ddfbd107a4b1
parentf9b73cf28065e4ed65f4dadc3d4e519b453ae7a8
added -g flag to ocamlc per default
helm/ocaml/Makefile.common.in