[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.6 
mldonkey/src/networks/donkey/donkeyComplexOptions.mli:1.7
--- mldonkey/src/networks/donkey/donkeyComplexOptions.mli:1.6   Mon Aug  9 
17:59:47 2004
+++ mldonkey/src/networks/donkey/donkeyComplexOptions.mli       Thu Sep  1 
16:37:51 2005
@@ -41,4 +41,5 @@
 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
-  
\ No newline at end of file
+  
+val result_of_file : Md4.t -> CommonTypes.tag list -> 
CommonResult.StoredResult.stored_result option