]> matita.cs.unibo.it Git - helm.git/commit
HELM_DTD_DIR now also used
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 2 Feb 2001 16:43:56 +0000 (16:43 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 2 Feb 2001 16:43:56 +0000 (16:43 +0000)
commit6d71aa3ee23468b86bcad8fb640d71e2692bd901
tree25bb5f00816ccae053717be9205cd87dd0365334
parent334e20b9e4e3976c2c95928f5b2b4a5fc5db81da
HELM_DTD_DIR now also used
helm/http_getter/http_getter.pl.in