Merge of the V7_3_new_exportation branch.

[helm.git] / helm / ocaml / getter / configuration.mli

diff --git a/helm/ocaml/getter/configuration.mli b/helm/ocaml/getter/configuration.mli
index 4d0bfbc01a6ef25a67cf597dbc099bf9fe3ef731..20daaa411c34b571f99b3c2ca7f968606ac7df16 100644 (file)
--- a/helm/ocaml/getter/configuration.mli
+++ b/helm/ocaml/getter/configuration.mli
@@ -33,15 +33,8 @@
 (*                                                                            *)
 (******************************************************************************)
 
-val helm_dir : string
-val dtd_dir : string
-val style_dir : string
-val servers_file : string
-val uris_dbm : string
-val dest : string
-val indexname : string
-val tmp_dir : string
-val helm_dir : string
+(* Zack: no longer needed *)
+(* val tmp_dir : string *)
 val getter_url : string
 val processor_url : string
 val annotations_dir : string