Parent Directory | Revision Log | Patch
revision 1.3 by spiralvoice, Tue Apr 26 11:02:21 2005 UTC | revision 1.4 by spiralvoice, Fri Aug 5 00:56:13 2005 UTC | |
---|---|---|
# | Line 40 let define_expert_option a b ?desc c d e | Line 40 let define_expert_option a b ?desc c d e |
40 | module M = GuiMessages | module M = GuiMessages |
41 | module C = GuiColumns | module C = GuiColumns |
42 | ||
43 | let _ = Unix2.safe_mkdir CommonOptions.config_dir | let _ = Unix2.safe_mkdir CommonOptions.home_dir |
44 | ||
45 | let gui_ini = create_options_file | let gui_ini = create_options_file |
46 | (Filename.concat CommonOptions.config_dir "mlgui.ini") | (Filename.concat CommonOptions.home_dir "mlgui.ini") |
47 | ||
48 | ||
49 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |