]> matita.cs.unibo.it Git - helm.git/commit
use latest Http_getter module API
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Oct 2004 13:20:11 +0000 (13:20 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Oct 2004 13:20:11 +0000 (13:20 +0000)
commit298111deca0e953b67f8ed0fea03deb9e0dc59d1
tree0ebdc19dacdbfb08d8fd32ea4037041581026ec8
parentae1f66ceadc14c7d0824bb375c5af175b15f083c
use latest Http_getter module API
helm/http_getter/main.ml