Parent Directory | Revision Log | Patch
revision 1.11 by spiralvoice, Wed Mar 2 19:28:14 2005 UTC | revision 1.12 by spiralvoice, Fri Aug 5 00:56:13 2005 UTC | |
---|---|---|
# | Line 43 let define_expert_option a b ?desc c d e | Line 43 let define_expert_option a b ?desc c d e |
43 | module M = Gui_messages | module M = Gui_messages |
44 | module C = Gui_columns | module C = Gui_columns |
45 | ||
46 | let _ = Unix2.safe_mkdir CommonOptions.config_dir | let _ = Unix2.safe_mkdir CommonOptions.home_dir |
47 | ||
48 | let mldonkey_gui_ini = create_options_file | let mldonkey_gui_ini = create_options_file |
49 | (Filename.concat CommonOptions.config_dir "mldonkey_newgui.ini") | (Filename.concat CommonOptions.home_dir "mldonkey_newgui.ini") |
50 | ||
51 | module KeyOption = struct | module KeyOption = struct |
52 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |