diff options
| author | root <root@rshg054.dnsready.net> | 2013-02-10 01:12:52 -0800 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2013-02-10 01:12:52 -0800 |
| commit | 1bb2648cde916ac27d3dd75d7b64a4ddc89787b7 (patch) | |
| tree | 016bfa1969323404c37dbef29cfc7242a5a8e9f3 /libre-testing/grub/grub_extras_lua_args_fix.patch | |
| parent | e9c244cac8e5dc1c59c7e8b7bc885fef04224b70 (diff) | |
Sun Feb 10 01:12:35 PST 2013
Diffstat (limited to 'libre-testing/grub/grub_extras_lua_args_fix.patch')
| -rw-r--r-- | libre-testing/grub/grub_extras_lua_args_fix.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/libre-testing/grub/grub_extras_lua_args_fix.patch b/libre-testing/grub/grub_extras_lua_args_fix.patch deleted file mode 100644 index 5cb317ce3..000000000 --- a/libre-testing/grub/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 - { |