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

[mldonkey-commits]

Index: mldonkey/src/networks/donkey/donkeyInteractive.mli
diff -u mldonkey/src/networks/donkey/donkeyInteractive.mli:1.4 
mldonkey/src/networks/donkey/donkeyInteractive.mli:1.5
--- mldonkey/src/networks/donkey/donkeyInteractive.mli:1.4      Thu Sep  1 
00:04:12 2005
+++ mldonkey/src/networks/donkey/donkeyInteractive.mli  Tue Dec  6 19:34:05 2005
@@ -33,10 +33,6 @@
 val print_file : Buffer.t -> DonkeyTypes.file -> unit
 val display_file_list : 
   Buffer.t -> GuiProto.connection_options -> unit
-val aborted_download :
-    (string list * int32 * Md4.t * int option * string option *
-     (int32 * int32) list option)
-    option ref
 val really_query_download :
     string list ->
     int32 ->