Parent Directory | Revision Log | Patch
revision 1.10 by spiralvoice, Sun Jul 17 16:11:13 2005 UTC | revision 1.11 by spiralvoice, Sat Nov 5 16:23:41 2005 UTC | |
---|---|---|
# | Line 519 let _ = | Line 519 let _ = |
519 | ||
520 | network.op_network_connected <- (fun _ -> !connected_servers != []); | network.op_network_connected <- (fun _ -> !connected_servers != []); |
521 | network.op_network_save_complex_options <- (fun _ -> ()); | network.op_network_save_complex_options <- (fun _ -> ()); |
522 | network.op_network_update_options <- (fun _ -> ()); | |
523 | network.op_network_save_sources <- (fun _ -> ()) | network.op_network_save_sources <- (fun _ -> ()) |
524 | ||
525 | (* | (* |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |