From 62347d7e97f07e75a680154d172a405c153a1b2c Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Fri, 9 Feb 2024 15:16:56 +0530 Subject: [PATCH] remove unneeded headers --- kitty/child-monitor.c | 2 -- 1 file changed, 2 deletions(-) diff --git a/kitty/child-monitor.c b/kitty/child-monitor.c index 710ab1972..49d95ad2c 100644 --- a/kitty/child-monitor.c +++ b/kitty/child-monitor.c @@ -11,11 +11,9 @@ #include "threading.h" #include "screen.h" #include "fonts.h" -#include "charsets.h" #include "monotonic.h" #include #include -#include #include #include #include