From 6ce8b406619017d0e256ff212a8f43ab01c2ade5 Mon Sep 17 00:00:00 2001 From: Anmol Gautam Date: Tue, 31 Jul 2018 18:12:22 +0530 Subject: [PATCH] removed extensions header from plugins.cpp & pluginsmanager.cpp --- src/lib/plugins/plugins.cpp | 1 - src/lib/preferences/pluginsmanager.cpp | 1 - 2 files changed, 2 deletions(-) diff --git a/src/lib/plugins/plugins.cpp b/src/lib/plugins/plugins.cpp index a7e29518c..4f348a1a1 100644 --- a/src/lib/plugins/plugins.cpp +++ b/src/lib/plugins/plugins.cpp @@ -19,7 +19,6 @@ #include "plugininterface.h" #include "mainapplication.h" #include "speeddial.h" -#include "extensions.h" #include "settings.h" #include "datapaths.h" #include "adblock/adblockplugin.h" diff --git a/src/lib/preferences/pluginsmanager.cpp b/src/lib/preferences/pluginsmanager.cpp index 48e4b12a8..38ccee150 100644 --- a/src/lib/preferences/pluginsmanager.cpp +++ b/src/lib/preferences/pluginsmanager.cpp @@ -25,7 +25,6 @@ #include "iconprovider.h" #include "../config.h" #include "sqldatabase.h" -#include "extensions.h" #include #include