From db0c7ecb54ba139d7cc57ff6de85f097ba854611 Mon Sep 17 00:00:00 2001 From: Uwe Date: Fri, 25 Mar 2022 23:53:22 +0100 Subject: [PATCH] {skip CI] revert unwanted change from previous commit --- src/Mod/Fem/Gui/Resources/ui/ResultShow.ui | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Mod/Fem/Gui/Resources/ui/ResultShow.ui b/src/Mod/Fem/Gui/Resources/ui/ResultShow.ui index 793eb5b063..d6ec13c837 100644 --- a/src/Mod/Fem/Gui/Resources/ui/ResultShow.ui +++ b/src/Mod/Fem/Gui/Resources/ui/ResultShow.ui @@ -178,7 +178,7 @@ true - mm + mm