]> matita.cs.unibo.it Git - helm.git/commit
- bugfix: shows all log while doing 'update'
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Dec 2002 19:53:26 +0000 (19:53 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Dec 2002 19:53:26 +0000 (19:53 +0000)
commitb6856f3de223e50ebeb3c26fd098ab128a5d661f
tree6935c6cf2beab9828c37d87c7e30f21d29cf9371
parente7ab167b72dc48d260d82060949e8ebe7d27764c
- bugfix: shows all log while doing 'update'
helm/http_getter/http_getter.ml