352 |
|
|
353 |
(* {Misc} *) |
(* {Misc} *) |
354 |
|
|
|
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 |
|
|
|
|
355 |
let gtk_misc_relative_availability = define_option current_section |
let gtk_misc_relative_availability = define_option current_section |
356 |
["gtk_misc_relative_availability"] |
["gtk_misc_relative_availability"] |
357 |
~desc:"Use relative % availability" |
~desc:"Use relative % availability" |