diff --git a/data/gui/options_ui.stkgui b/data/gui/options_ui.stkgui index 8f96d6377..ce5fca0e1 100644 --- a/data/gui/options_ui.stkgui +++ b/data/gui/options_ui.stkgui @@ -39,12 +39,6 @@