From 166ec3d420a436b17674ea4d12537f87350ce646 Mon Sep 17 00:00:00 2001 From: Richard Kimberly Heck Date: Thu, 12 Nov 2020 19:56:08 -0500 Subject: [PATCH] Remove now unneeded headers. --- src/insets/InsetText.cpp | 8 -------- 1 file changed, 8 deletions(-) diff --git a/src/insets/InsetText.cpp b/src/insets/InsetText.cpp index 942ef77db8..90619efa01 100644 --- a/src/insets/InsetText.cpp +++ b/src/insets/InsetText.cpp @@ -56,14 +56,6 @@ #include "frontends/alert.h" #include "frontends/Painter.h" -// These are only temporarily here, until the relevant code -// is moved into these insets -#include "insets/InsetInclude.h" -#include "mathed/InsetMathHull.h" -#include "mathed/MacroTable.h" -#include "mathed/InsetMathMacroTemplate.h" -#include "insets/InsetTabular.h" - #include "support/convert.h" #include "support/debug.h" #include "support/gettext.h" -- 2.39.5