/[mldonkey]/mldonkey/src/gtk2/gui/guiOptions.ml
ViewVC logotype

Diff of /mldonkey/src/gtk2/gui/guiOptions.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch 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    

Legend:
Removed from v.1.3  
changed lines
  Added in v.1.4

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26