]> matita.cs.unibo.it Git - helm.git/commit
configuration.xml autoconfigured
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 16:36:36 +0000 (16:36 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 16:36:36 +0000 (16:36 +0000)
commit3cd06261fd37ec1e59df01d8a636050d155333b3
tree193987caac786b1922b8466336aaeedc218af444
parent5df69bd2f3520608184f1bea394762eb58cf1305
configuration.xml autoconfigured
helm/configuration/configure.in
helm/configuration/etc/.cvsignore
helm/configuration/etc/configuration.xml [deleted file]
helm/configuration/etc/configuration.xml.in [new file with mode: 0644]