]> matita.cs.unibo.it Git - helm.git/commit
use a list of getter maps
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 3 Dec 2003 14:47:28 +0000 (14:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 3 Dec 2003 14:47:28 +0000 (14:47 +0000)
commit2a22e73880edeea9a67e0a8e234f056a17b60549
treee4c24a317f3d79f5306c4a054744c70a1aea4572
parent1836b45cd11a6228638068726c854035aa0fc42b
use a list of getter maps
helm/http_getter/http_getter.ml