Parent Directory | Revision Log | Patch
revision 1.3 by mldonkey, Wed Mar 17 23:42:32 2004 UTC | revision 1.4 by spiralvoice, Fri Aug 5 00:56:13 2005 UTC | |
---|---|---|
# | Line 36 let verbose_gui_messages = false | Line 36 let verbose_gui_messages = false |
36 | (*module Gui_rooms = Gui_rooms2*) | (*module Gui_rooms = Gui_rooms2*) |
37 | let chmod_config () = | let chmod_config () = |
38 | let base_config = | let base_config = |
39 | (Filename.concat CommonOptions.config_dir "mldonkey_gui.ini") | (Filename.concat CommonOptions.home_dir "mldonkey_gui.ini") |
40 | in | in |
41 | let save_config = | let save_config = |
42 | base_config^".old" | base_config^".old" |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |