Parent Directory | Revision Log | Patch
revision 1.18 by spiralvoice, Tue Aug 9 10:52:02 2005 UTC | revision 1.19 by spiralvoice, Sun Aug 21 12:28:00 2005 UTC | |
---|---|---|
# | Line 68 module P = GuiTypes | Line 68 module P = GuiTypes |
68 | ||
69 | let _ = | let _ = |
70 | file_ops.op_file_cancel <- (fun file -> | file_ops.op_file_cancel <- (fun file -> |
71 | file.file_swarmer <- None; | |
72 | remove_file file; | remove_file file; |
73 | ); | ); |
74 | file_ops.op_file_info <- (fun file -> | file_ops.op_file_info <- (fun file -> |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |