]> matita.cs.unibo.it Git - helm.git/commit
Default for patch_dtd modified to "yes".
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 11 Jun 2001 13:37:56 +0000 (13:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 11 Jun 2001 13:37:56 +0000 (13:37 +0000)
commit2d725daf9ffb06f2f33fe28065703905a9003d23
tree622bbf0a2fdb35aab6b01b0a6cd57e3a5276beb8
parent23ff539f5abbe9082ae4f3df3c6178bee94accd8
Default for patch_dtd modified to "yes".
helm/http_getter/http_getter.pl.in