]> matita.cs.unibo.it Git - helm.git/commit
HELM_CONFIGURATION_PREFIX now used
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Oct 2000 16:32:04 +0000 (16:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Oct 2000 16:32:04 +0000 (16:32 +0000)
commitdae57ab510b31d1edd21031a3433c3c0d84631de
tree3edafc59e3ce36ee207c7588ab41698bf9e3fa93
parent5360c11c898212444def84597abe8e118ef10b83
HELM_CONFIGURATION_PREFIX now used
helm/interface/http_getter/http_getter.pl