]> matita.cs.unibo.it Git - helm.git/commit
http_getter.conf.xml ==> /projects/helm/etc/http_getter.conf.xml
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Apr 2004 17:32:45 +0000 (17:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Apr 2004 17:32:45 +0000 (17:32 +0000)
commitfa1ddc519dbdc7364c3768c83b19e20f507253d5
tree28f2400c3feb9b77b100244ecb797d5940e6a3d0
parentc5dad1d18ea23c4ce58d5f769ef2dc0a634240b8
http_getter.conf.xml ==> /projects/helm/etc/http_getter.conf.xml
helm/http_getter/main.ml