From d5da93628aa7b7719ffe7d9083c8726c4391d232 Mon Sep 17 00:00:00 2001 From: Pavel Sanda Date: Mon, 19 Aug 2024 21:47:16 +0200 Subject: [PATCH] Header not needed anymore. --- src/frontends/qt/GuiBibtex.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/frontends/qt/GuiBibtex.h b/src/frontends/qt/GuiBibtex.h index bd0a0ea536..57f8bf3b1e 100644 --- a/src/frontends/qt/GuiBibtex.h +++ b/src/frontends/qt/GuiBibtex.h @@ -15,7 +15,6 @@ #include "GuiDialog.h" #include "GuiSelectionManager.h" -#include "ButtonController.h" #include "ui_BibtexUi.h" #include "insets/InsetCommandParams.h" -- 2.39.5