]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7dc1b47) | patch
Patch to the hard-coded constant in http_getter.pl
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Oct 2000 16:43:47 +0000 (16:43 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Oct 2000 16:43:47 +0000 (16:43 +0000)
commitd5b03d93d8b9f579ca165502de9017795453d2f5
tree9fdbf92271e91dd17168e59222f7279b7c916dd3tree | snapshot
parent7dc1b477124b604ecbe7018ac2a45765420488a5commit | diff
Patch to the hard-coded constant in http_getter.pl
helm/interface/http_getter/http_getter.pl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.