From 90fc347fb05ba4c884743f9dbbfbd506738e4798 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9=20Fabian=20Silva=20Delgado?= Date: Sat, 10 Nov 2012 00:08:44 -0200 Subject: removing obsolete grub2 --- libre/grub2/grub_extras_lua_args_fix.patch | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100755 libre/grub2/grub_extras_lua_args_fix.patch (limited to 'libre/grub2/grub_extras_lua_args_fix.patch') diff --git a/libre/grub2/grub_extras_lua_args_fix.patch b/libre/grub2/grub_extras_lua_args_fix.patch deleted file mode 100755 index 5cb317ce3..000000000 --- a/libre/grub2/grub_extras_lua_args_fix.patch +++ /dev/null @@ -1,13 +0,0 @@ -diff --git a/grub-extras/lua/grub_lib.c b/grub-extras/lua/grub_lib.c -index 9014320..055d620 100644 ---- a/grub-extras/lua/grub_lib.c -+++ b/grub-extras/lua/grub_lib.c -@@ -466,7 +466,7 @@ grub_lua_add_menu (lua_State *state) - if (! p) - return push_result (state); - -- grub_normal_add_menu_entry (n, args, NULL, NULL, NULL, NULL, p, 0); -+ grub_normal_add_menu_entry (n, args, NULL, NULL, NULL, NULL, NULL, p, 0); - } - else - { -- cgit v1.2.3-2-g168b