[Mldonkey-commits] Changes to mldonkey/src/networks/donkey/donkeyComplexOptions.mli

[mldonkey-commits]

Index: mldonkey/src/networks/donkey/donkeyComplexOptions.mli
diff -u mldonkey/src/networks/donkey/donkeyComplexOptions.mli:1.7 
mldonkey/src/networks/donkey/donkeyComplexOptions.mli:1.8
--- mldonkey/src/networks/donkey/donkeyComplexOptions.mli:1.7   Thu Sep  1 
16:37:51 2005
+++ mldonkey/src/networks/donkey/donkeyComplexOptions.mli       Fri Sep  2 
23:48:54 2005
@@ -25,21 +25,20 @@
 val safe_add_server : Ip.t -> int -> unit
 
 val remove_server : Ip.t -> int -> unit
-  
-val known_shared_files : DonkeyTypes.shared_file_info 
+
+val known_shared_files : DonkeyTypes.shared_file_info
   list Options.option_record
 
-val old_files : Md4.t list Options.option_record
 val brotherhood : Md4.t list list Options.option_record
-  
+
 val value_to_addr : Options.option_value -> Ip.t * int
 val value_to_md4 : Options.option_value -> Md4.t
 val file_to_value :  DonkeyTypes.file -> (string * Options.option_value) list
 
 val load_sources : unit -> unit
-  
+
 val gstats_by_brand : DonkeyTypes.brand_stat array Options.option_record
 val gstats_by_brand_mod : DonkeyTypes.brand_mod_stat array 
Options.option_record
 val guptime : unit -> int
-  
+
 val result_of_file : Md4.t -> CommonTypes.tag list -> 
CommonResult.StoredResult.stored_result option