]> matita.cs.unibo.it Git - helm.git/commit
added some utility functions on filename suffixes
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 4 Jul 2005 12:08:55 +0000 (12:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 4 Jul 2005 12:08:55 +0000 (12:08 +0000)
commit9577234cdce1fea3f0090f954f15f897efd2394d
treed785973a037da3d05c3a014bd625095255e1df61
parentfe9fe9574ea2383032cbb0115ac18853a31972d2
added some utility functions on filename suffixes
helm/ocaml/getter/http_getter_misc.ml
helm/ocaml/getter/http_getter_misc.mli