]> matita.cs.unibo.it Git - helm.git/commit
- better pretty printing on /update
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 15 Apr 2004 13:35:00 +0000 (13:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 15 Apr 2004 13:35:00 +0000 (13:35 +0000)
commit954bacdd1f1ea6a649f3bf6cd5fab4d1222f9f8f
tree14f8fd6779c1afb8a09c94908638df42233f7e4b
parent57af26570f0925769d943e37a0c5f26acd8e3255
- better pretty printing on /update
- added stdout logger
helm/ocaml/getter/http_getter.ml
helm/ocaml/getter/http_getter.mli