From ee52ea80d64e4dbfa490da3b85a6bb190b7c2768 Mon Sep 17 00:00:00 2001 From: Vladimir Serbinenko Date: Mon, 22 Feb 2016 03:25:50 +0100 Subject: [PATCH] Remove useless include --- grub-core/term/usb_keyboard.c | 1 - 1 file changed, 1 deletion(-) diff --git a/grub-core/term/usb_keyboard.c b/grub-core/term/usb_keyboard.c index 3b7484635..e67b8f785 100644 --- a/grub-core/term/usb_keyboard.c +++ b/grub-core/term/usb_keyboard.c @@ -19,7 +19,6 @@ #include #include -#include #include #include #include -- 2.47.2