[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Mldonkey-commits] Changes to mldonkey/src/gtk/gui/gui_installer.ml
From: |
mldonkey-commits |
Subject: |
[Mldonkey-commits] Changes to mldonkey/src/gtk/gui/gui_installer.ml |
Date: |
Thu, 06 Oct 2005 06:21:22 -0400 |
Index: mldonkey/src/gtk/gui/gui_installer.ml
diff -u mldonkey/src/gtk/gui/gui_installer.ml:1.3
mldonkey/src/gtk/gui/gui_installer.ml:1.4
--- mldonkey/src/gtk/gui/gui_installer.ml:1.3 Wed Mar 2 19:28:14 2005
+++ mldonkey/src/gtk/gui/gui_installer.ml Thu Oct 6 10:21:08 2005
@@ -39,7 +39,7 @@
let home_dir = (try Sys.getenv "HOME" with _ -> ".")
let config_dir_basename =
- if Autoconf.system = "windows" then "mldonkey" else ".mldonkey"
+ if Autoconf.windows then "mldonkey" else ".mldonkey"
let config_dir = Filename.concat home_dir config_dir_basename
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Mldonkey-commits] Changes to mldonkey/src/gtk/gui/gui_installer.ml,
mldonkey-commits <=