From 9d0ea8d0bad52ba3bb831e0887762517d7db85bd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Zurcher?= <jeremy@asynk.ch>
Date: Mon, 2 Nov 2015 11:33:47 +0100
Subject: remove generated files

---
 mini_kernel/grub.cfg | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 mini_kernel/grub.cfg

diff --git a/mini_kernel/grub.cfg b/mini_kernel/grub.cfg
deleted file mode 100644
index 420d048..0000000
--- a/mini_kernel/grub.cfg
+++ /dev/null
@@ -1,5 +0,0 @@
-set timeout=0
-
-menuentry "Your_OS_name" {
-    multiboot /boot/kernel.elf
-}
-- 
cgit v1.1-2-g2b99