]> matita.cs.unibo.it Git - helm.git/commit
-linkall removed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 16:59:34 +0000 (16:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 16:59:34 +0000 (16:59 +0000)
commitd28f7a101a0d2d87a3051bd3b4a5e78d86f605ba
tree5ba249e746e2516d9c668803138809f1b2976191
parent25bcb9af3fc3ce3cebd369e3cd9f3a704403a173
-linkall removed
helm/ocaml/Makefile.common.in