X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_storage.mli;h=24fc329c9f03316218de44352e7217007b425991;hb=6f0e3275c5a100568c8529d6c58150ef4af692d0;hp=5dd997843f1c1486be490f8bd02a7a428b2c7f25;hpb=2220ec0d80a2846eee56922c76468ad0839f6228;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_storage.mli b/helm/ocaml/getter/http_getter_storage.mli
index 5dd997843..24fc329c9 100644
--- a/helm/ocaml/getter/http_getter_storage.mli
+++ b/helm/ocaml/getter/http_getter_storage.mli
@@ -63,5 +63,9 @@ val remove: string -> unit
 val exists: string -> bool
 val resolve: string -> string
 
+(* val get_attrs: string -> Http_getter_types.prefix_attr list *)
+val is_read_only: string -> bool
+val is_legacy: string -> bool
+
 val clean_cache: unit -> unit