]> matita.cs.unibo.it Git - helm.git/commit
- Configuration file moved to /projects/helm/etc.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Feb 2004 17:21:30 +0000 (17:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Feb 2004 17:21:30 +0000 (17:21 +0000)
commit024e92b8b3bf29e41ce50004c37d884baa1db847
treead92c6681b580e4e92d712ff0d4092c793ab6a38
parent883959e875abadf3336e1a93292bc1fcc8f92696
- Configuration file moved to /projects/helm/etc.
- Configuration file ported to latest version of Helm_registry.
helm/http_getter/http_getter.conf.xml.sample
helm/http_getter/main.ml