From 8f6612ce33185ad9f5c2dd44ba067099486ae976 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 4 Feb 2005 12:11:07 +0000 Subject: [PATCH] return also .types uri in getalluris/ --- helm/ocaml/getter/http_getter.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/getter/http_getter.ml b/helm/ocaml/getter/http_getter.ml index 7fee306a6..9afcafebb 100644 --- a/helm/ocaml/getter/http_getter.ml +++ b/helm/ocaml/getter/http_getter.ml @@ -384,8 +384,8 @@ let getalluris () = getalluris_remote () else let filter uri = - (Pcre.pmatch ~rex:heading_cic_RE uri) && - not (Pcre.pmatch ~rex:trailing_types_RE uri) + (Pcre.pmatch ~rex:heading_cic_RE uri) +(* && not (Pcre.pmatch ~rex:trailing_types_RE uri) *) in return_uris (Lazy.force cic_map) filter -- 2.39.2