From 228d2a15c8bc788fdc94d8e7e95bd18a5edffc96 Mon Sep 17 00:00:00 2001
From: Mathieu Maret <mathieu.maret@gmail.com>
Date: Thu, 19 Jul 2018 11:25:46 +0200
Subject: [PATCH] Remove unused headers

---
 vga.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/vga.c b/vga.c
index e6e6d53..16507ca 100644
--- a/vga.c
+++ b/vga.c
@@ -1,7 +1,6 @@
 #include "vga.h"
 #include "io.h"
 #include "klibc.h"
-#include "tools.h"
 
 static uint vgaBgColor;
 static uint vgaColor;