]> matita.cs.unibo.it Git - helm.git/commit
http_getter.pl is now created executable
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 15:10:02 +0000 (15:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 15:10:02 +0000 (15:10 +0000)
commit46a7e4ab3642ec3135444026fb3410b4cd4c435a
tree01fa5ae7a8269fcd847752bbe5a3f739e25034ea
parent1d2f0bbef58330277c8828aa350bde7ff4acefe0
http_getter.pl is now created executable
helm/http_getter/configure.in