]> matita.cs.unibo.it Git - helm.git/commit
added backtick function
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 6 Jul 2005 15:49:55 +0000 (15:49 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 6 Jul 2005 15:49:55 +0000 (15:49 +0000)
commit307b83cffa8a1e851d2e7ec28b07251918cff551
tree9aa051dd512e7fc3416484eed3359ec2bc5e6c6c
parent283ebe50ae639bd574df96a0d87c5f74afc5a9e8
added backtick function
helm/ocaml/getter/http_getter_misc.ml
helm/ocaml/getter/http_getter_misc.mli