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

[mldonkey-commits]

Index: mldonkey/src/networks/donkey/donkeyServers.mli
diff -u mldonkey/src/networks/donkey/donkeyServers.mli:1.3 
mldonkey/src/networks/donkey/donkeyServers.mli:1.4
--- mldonkey/src/networks/donkey/donkeyServers.mli:1.3  Wed Mar  2 19:28:16 2005
+++ mldonkey/src/networks/donkey/donkeyServers.mli      Mon Aug  8 16:47:31 2005
@@ -22,12 +22,11 @@
 val connect_server : DonkeyTypes.server -> unit
 val disconnect_server : DonkeyTypes.server -> BasicSocket.close_reason -> unit
 val remove_old_servers : unit -> unit
-  
-val update_master_servers : unit-> unit  
+
+val update_master_servers : unit-> unit
 val walker_timer : unit -> unit
 val udp_walker_timer : unit -> unit
-  
+
 val query_locations_timer : unit -> unit
 val add_query_location : DonkeyTypes.file -> DonkeyTypes.server -> unit
 val udp_query_sources : unit -> unit
-