]> matita.cs.unibo.it Git - helm.git/commit
fixed cmi:cm(x)a problem in makefiles
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 30 Jan 2006 17:12:13 +0000 (17:12 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 30 Jan 2006 17:12:13 +0000 (17:12 +0000)
commit2a7513fe61fec55f0608728b31ac5f513923de6c
tree30cdfe4789ca56de38465ccac6230d308982f696
parentb8f0a76121fe684674c95fe9389b2e60b5eda694
fixed cmi:cm(x)a problem in makefiles
helm/ocaml/Makefile.common.in
helm/ocaml/Makefile.in