]> matita.cs.unibo.it Git - helm.git/commit
HTTP_GETTER_DTD_BASE_DIR configuration parameter added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 7 Oct 2002 16:11:02 +0000 (16:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 7 Oct 2002 16:11:02 +0000 (16:11 +0000)
commit19aa9435df2f489603d764e2a6194e567f571e62
tree06f0e7a5b9e7ce8f9990dd9b32faeff9f869fb94
parent1febf21f7c0f7ce0556839580e0914161b965543
HTTP_GETTER_DTD_BASE_DIR configuration parameter added
helm/http_getter/http_getter.pl.in