From 66faf89d7f66e68f49a366859d09d7fbbbe160bb Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Mon, 6 Mar 2023 08:04:03 +0100 Subject: [PATCH] gui: remove unused ui file Change-Id: I2b73cb7e65d12f5b053274e50d2fcf5f0b01c6d0 Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/30581 Tested-by: Jenkins Automated Tests Reviewed-by: Enrico Faulhaber Reviewed-by: Georg Brandl --- frappy/gui/ui/modulebuttons.ui | 88 ---------------------------------- 1 file changed, 88 deletions(-) delete mode 100644 frappy/gui/ui/modulebuttons.ui diff --git a/frappy/gui/ui/modulebuttons.ui b/frappy/gui/ui/modulebuttons.ui deleted file mode 100644 index 14d723c..0000000 --- a/frappy/gui/ui/modulebuttons.ui +++ /dev/null @@ -1,88 +0,0 @@ - - - Form - - - - 0 - 0 - 748 - 74 - - - - Form - - - - 6 - - - 0 - - - 6 - - - 0 - - - 0 - - - - - true - - - - 256 - 0 - - - - background-color: lightgrey; - - - true - - - - - - - 0 - - - - - - - - - - - - - Go - - - - - - - true - - - background-color: lightgrey; - - - true - - - - - - - -