]> matita.cs.unibo.it Git - helm.git/commit
HTTP_GETTER_PORT environment variable added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Oct 2002 14:11:22 +0000 (14:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Oct 2002 14:11:22 +0000 (14:11 +0000)
commit3b1680e72eb357b96ad7ccda051c154f6eb656bb
tree041f3fa45854b973b9f3dc34fb449113193d23f4
parent04f0e78400f9848f08f5ef194c02002e2c2c75c7
HTTP_GETTER_PORT environment variable added
helm/http_getter/http_getter.pl.in