]> matita.cs.unibo.it Git - helm.git/commit
bug fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 08:58:06 +0000 (08:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 08:58:06 +0000 (08:58 +0000)
commit74b8c814508827292e342d30d8acb9ecec5f1000
tree0947701fd65649289ea21b724b9428a26ea82052
parentde20483144c023eb667c89a7010e98bb6ba263b4
bug fixed
helm/configuration/configure.in