]> matita.cs.unibo.it Git - helm.git/commit
Many bug fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 10 Nov 2000 17:54:40 +0000 (17:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 10 Nov 2000 17:54:40 +0000 (17:54 +0000)
commit92ccab409fa4ec217b9334b9bc3f6677ad95db9b
treeba8c7e0de9ef0e42e3c0c147ecb8d98d257643e4
parentcba890e4cba5857f3891e0f5cd087743529ff062
Many bug fixed
helm/configuration/install
helm/configuration/local/lib/helm/configuration.pl