X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_storage.mli;h=24fc329c9f03316218de44352e7217007b425991;hb=b6f12c7851b23c4793a9fe279c4439b84c817b23;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