]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 09:05:12 +0000 (09:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 09:05:12 +0000 (09:05 +0000)
commit878b1a60478b48429028c97662ab7cb14bf5545f
tree1ed0bff6f0b2ced13874aa33900eff6db9869671
parent74b8c814508827292e342d30d8acb9ecec5f1000
...
helm/configuration/Makefile.in
helm/configuration/configure.in