This commit was manufactured by cvs2svn to create tag 'v0_0_2'.

[helm.git] / helm / interface / getter.mli

diff --git a/helm/interface/getter.mli b/helm/interface/getter.mli
index 0c7401cbc55fffd575ebb525b701546708e585c4..c44aa3e435bebfec8e72834887bad64ca6cb825b 100644 (file)
--- a/helm/interface/getter.mli
+++ b/helm/interface/getter.mli
@@ -33,9 +33,6 @@
 (*                                                                            *)
 (******************************************************************************)
 
-(* raw_get : uri -> dest_file -> () *)
-val raw_get : string -> string -> unit
-
 (* get : uri -> filename *)
 (* If uri is the URI of an annotation, the annotated object is processed *)
 val get : UriManager.uri -> string