[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiOptions.ml
From: |
mldonkey-commits |
Subject: |
[Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiOptions.ml |
Date: |
Sun, 13 Nov 2005 12:42:11 -0500 |
Index: mldonkey/src/gtk2/gui/guiOptions.ml
diff -u mldonkey/src/gtk2/gui/guiOptions.ml:1.5
mldonkey/src/gtk2/gui/guiOptions.ml:1.6
--- mldonkey/src/gtk2/gui/guiOptions.ml:1.5 Mon Oct 31 18:34:02 2005
+++ mldonkey/src/gtk2/gui/guiOptions.ml Sun Nov 13 17:42:09 2005
@@ -352,12 +352,6 @@
(* {Misc} *)
-let gtk_misc_display_razorback_stats = define_option current_section
- ["gtk_misc_display_razorback_stats"]
- ~desc:"Display razorback statistics"
- "Check to display file information from http://stats.razorback2.com in the
downloads page"
- bool_option true
-
let gtk_misc_relative_availability = define_option current_section
["gtk_misc_relative_availability"]
~desc:"Use relative % availability"
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiOptions.ml,
mldonkey-commits <=