]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_storage.mli
added support for repository attributes
[helm.git] / helm / ocaml / getter / http_getter_storage.mli
index 5dd997843f1c1486be490f8bd02a7a428b2c7f25..24fc329c9f03316218de44352e7217007b425991 100644 (file)
@@ -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