Parent Directory | Revision Log | Patch
revision 1.4 by mldonkey, Wed Jan 14 22:54:17 2004 UTC | revision 1.5 by spiralvoice, Fri Aug 5 00:56:13 2005 UTC | |
---|---|---|
# | Line 31 open Options | Line 31 open Options |
31 | module M = Gui_messages | module M = Gui_messages |
32 | module C = Gui_columns | module C = Gui_columns |
33 | ||
34 | let _ = Unix2.safe_mkdir CommonOptions.config_dir | let _ = Unix2.safe_mkdir CommonOptions.home_dir |
35 | let mldonkey_gui_ini = create_options_file | let mldonkey_gui_ini = create_options_file |
36 | (Filename.concat CommonOptions.config_dir "mldonkey_gui.ini") | (Filename.concat CommonOptions.home_dir "mldonkey_gui.ini") |
37 | ||
38 | module KeyOption = struct | module KeyOption = struct |
39 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |