]> matita.cs.unibo.it Git - helm.git/commit
configuration file changed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Oct 2000 16:06:43 +0000 (16:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Oct 2000 16:06:43 +0000 (16:06 +0000)
commit5360c11c898212444def84597abe8e118ef10b83
tree040b25c51f809d95deaccf5772cc35cb6792eec8
parent35b2590228580fc739f5a300b06976430b7c7496
configuration file changed
helm/configuration/local/etc/helm/configuration.xml