]> matita.cs.unibo.it Git - helm.git/commit
added zack's helpers
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 7 Apr 2003 13:13:02 +0000 (13:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 7 Apr 2003 13:13:02 +0000 (13:13 +0000)
commit807220be0830826e99c4b74c5d6b41fe5ad2293e
tree43e44ab4733f49d3ba8828588005ed8b9bf6a1a6
parent5f420bd186321bd74d0b7346fc8941e4d9abd4de
added zack's helpers
helm/http_getter/zack.ml [new file with mode: 0644]
helm/http_getter/zack.mli [new file with mode: 0644]