From d952c2fdd401368b92709d6ad4134a909b149f33 Mon Sep 17 00:00:00 2001 From: Alessandro Portale Date: Sun, 28 Jan 2024 23:18:46 +0100 Subject: [PATCH] ExtensionManager: Remove unneeded include Change-Id: I56244fbe26d8d00916977a60b801a1075b3e7010 Reviewed-by: Cristian Adam --- src/plugins/extensionmanager/extensionmanagerwidget.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/plugins/extensionmanager/extensionmanagerwidget.cpp b/src/plugins/extensionmanager/extensionmanagerwidget.cpp index 1584ccd23c3..17dc808b8dc 100644 --- a/src/plugins/extensionmanager/extensionmanagerwidget.cpp +++ b/src/plugins/extensionmanager/extensionmanagerwidget.cpp @@ -11,7 +11,6 @@ #include #include #include -#include // TODO: Remove! #include #include