From fb87ed74bd161af9a52d2b7cc6d108a3cd205df1 Mon Sep 17 00:00:00 2001
From: Pavel Sanda <sanda@lyx.org>
Date: Fri, 9 Aug 2024 09:45:12 +0200
Subject: [PATCH] Header not needed.

---
 src/BranchList.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/BranchList.h b/src/BranchList.h
index 7bf435217d..7ff833650d 100644
--- a/src/BranchList.h
+++ b/src/BranchList.h
@@ -12,8 +12,6 @@
 #ifndef BRANCHLIST_H
 #define BRANCHLIST_H
 
-#include "ColorCode.h"
-
 #include "support/docstring.h"
 
 #include <cstdlib> // rand()
-- 
2.39.5