]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8b76c1) | patch
changed /ls method so that regular expressions are used instead of plain
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 26 May 2004 15:29:42 +0000 (15:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 26 May 2004 15:29:42 +0000 (15:29 +0000)
commitf82bff515257cee1dd485b251763ea4a8d5ca0e2
tree8251ad7a24ed3eb4fad4f07cefaa418aa44fc0fetree | snapshot
parentd8b76c102e4f540c3ecfa550267331a7a72810c2commit | diff
changed /ls method so that regular expressions are used instead of plain
URIs
helm/ocaml/getter/http_getter.ml diff | blob | history
helm/ocaml/getter/http_getter.mli diff | blob | history
helm/ocaml/getter/http_getter_const.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.