]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 17:12:11 +0000 (17:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 17:12:11 +0000 (17:12 +0000)
commit93d9d6906ff69d4291d8bfc597356b559fdaf025
treedd35a4e97c20cfca3cfd87a37f85eab10d941c8d
parent5d430588fe6e97aafe01afbb540d0cb5351abc40
...
helm/configuration/configure.in
helm/configuration/etc/configuration.xml.in