]> matita.cs.unibo.it Git - helm.git/commit - helm/http_getter/http_getter.pl.in
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 334e20b) | patch
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
tree25bb5f00816ccae053717be9205cd87dd0365334tree | snapshot
parent334e20b9e4e3976c2c95928f5b2b4a5fc5db81dacommit | diff
HELM_DTD_DIR now also used
helm/http_getter/http_getter.pl.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.