From 74c236f9477430af411c067c1ec0ef7dfd3f3545 Mon Sep 17 00:00:00 2001 From: wmayer Date: Sat, 14 Oct 2023 13:37:59 +0200 Subject: [PATCH] Gui: [skip ci] remove empty lines from .ui file --- src/Gui/PreferencePages/DlgSettingsGeneral.ui | 4 ---- 1 file changed, 4 deletions(-) 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 @@ -