]> matita.cs.unibo.it Git - helm.git/commit
Makefile missing in previous commit
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 24 Jul 2007 11:54:28 +0000 (11:54 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 24 Jul 2007 11:54:28 +0000 (11:54 +0000)
commitdaf9dc0cc314e381855058bcb70192d9825b3bf1
tree8a8a13482b46b9fbfd20ea1b66fbadab8fe1bbea
parente0b576827e1d1dd243f304e68cda6b0c7cc21978
Makefile missing in previous commit
helm/software/matita/Makefile