From 835c807d7adb6ec5d547a016b869a2960e3d5d3f Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Tue, 17 Nov 2020 07:33:46 -0500 Subject: [PATCH] widget-factory: Remove an unused size group This was left behind when 361407201b88c3aae2ee removed the unused popover that this size group applied to. --- demos/widget-factory/widget-factory.ui | 5 ----- 1 file changed, 5 deletions(-) diff --git a/demos/widget-factory/widget-factory.ui b/demos/widget-factory/widget-factory.ui index 86ebe5c81a..8f78b65a5f 100644 --- a/demos/widget-factory/widget-factory.ui +++ b/demos/widget-factory/widget-factory.ui @@ -3304,11 +3304,6 @@ bad things might happen. - - - - -