]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Nov 2001 15:08:20 +0000 (15:08 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Nov 2001 15:08:20 +0000 (15:08 +0000)
commit47ed689d3cb6aace3fffd51f3d6b9c5d247508da
treeb46af0eaab0e804d99198026392009ed8722eacf
parenta00c96b7a2948c5dc191960b423afb92b698389d
Bug fixed.
helm/http_getter/configure.in
helm/http_getter/http_getter.pl.in