diff --git a/src/Gui/PreferencePages/DlgSettingsGeneral.ui b/src/Gui/PreferencePages/DlgSettingsGeneral.ui index fe2eafe4cc..d6a98dd50d 100644 --- a/src/Gui/PreferencePages/DlgSettingsGeneral.ui +++ b/src/Gui/PreferencePages/DlgSettingsGeneral.ui @@ -87,7 +87,6 @@ - @@ -95,7 +94,6 @@ - @@ -103,7 +101,6 @@ - @@ -114,7 +111,6 @@ -