From f67870262090cb1dc94323e6a80b3e8e9935c527 Mon Sep 17 00:00:00 2001 From: André Fabian Silva Delgado Date: Tue, 6 Aug 2013 17:35:43 -0300 Subject: grub: remove unneecessary file --- libre/grub/archlinux_grub_mkconfig_fixes.patch | 143 ------------------------- 1 file changed, 143 deletions(-) delete mode 100644 libre/grub/archlinux_grub_mkconfig_fixes.patch diff --git a/libre/grub/archlinux_grub_mkconfig_fixes.patch b/libre/grub/archlinux_grub_mkconfig_fixes.patch deleted file mode 100644 index acbb9a7a8..000000000 --- a/libre/grub/archlinux_grub_mkconfig_fixes.patch +++ /dev/null @@ -1,143 +0,0 @@ -diff --git a/util/grub-mkconfig.in b/util/grub-mkconfig.in -index 8decc1d..170047f 100644 ---- a/util/grub-mkconfig.in -+++ b/util/grub-mkconfig.in -@@ -212,6 +212,8 @@ export GRUB_DEFAULT \ - GRUB_THEME \ - GRUB_GFXPAYLOAD_LINUX \ - GRUB_DISABLE_OS_PROBER \ -+ GRUB_COLOR_NORMAL \ -+ GRUB_COLOR_HIGHLIGHT \ - GRUB_INIT_TUNE \ - GRUB_SAVEDEFAULT \ - GRUB_ENABLE_CRYPTODISK \ -diff --git a/util/grub.d/00_header.in b/util/grub.d/00_header.in -index 2c4bb0a..c7120d2 100644 ---- a/util/grub.d/00_header.in -+++ b/util/grub.d/00_header.in -@@ -125,6 +125,14 @@ cat <