]> matita.cs.unibo.it Git - helm.git/commit
install file removed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 16:51:56 +0000 (16:51 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 16:51:56 +0000 (16:51 +0000)
commit5d430588fe6e97aafe01afbb540d0cb5351abc40
treeaeae6f0b6a367b1ef216c6d432ef3365037a2d55
parent658b654a8986b504936499ba6719999612806345
install file removed
helm/configuration/configure.in
helm/configuration/install [deleted file]