]> matita.cs.unibo.it Git - helm.git/commit
syntax error fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 15:22:54 +0000 (15:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 15:22:54 +0000 (15:22 +0000)
commitd30b81ca62c2cb11b9ec418484f2d9c298f83f72
treeec163f54f50f0869cbe8d94857a99a6316c87823
parent70114384f51953cc183e8d2bb312b1c2b536ba93
syntax error fixed
helm/http_getter/http_getter.pl.in