From 28cb88d6080fdb8c959574fdad486375b6b79f53 Mon Sep 17 00:00:00 2001 From: Pavel Sanda Date: Fri, 9 Aug 2024 09:47:36 +0200 Subject: [PATCH] Header not needed. --- src/BufferParams.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/BufferParams.h b/src/BufferParams.h index d88c54e1af..15e65d0ef8 100644 --- a/src/BufferParams.h +++ b/src/BufferParams.h @@ -17,7 +17,6 @@ #include "Citation.h" #include "ColorCode.h" -#include "ColorSet.h" #include "DocumentClassPtr.h" #include "LayoutModuleList.h" #include "paper.h"