diff options
Diffstat (limited to 'resources/grub/patch/gitdiff')
| -rw-r--r-- | resources/grub/patch/gitdiff | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/resources/grub/patch/gitdiff b/resources/grub/patch/gitdiff deleted file mode 100644 index cb5681d..0000000 --- a/resources/grub/patch/gitdiff +++ /dev/null @@ -1,13 +0,0 @@ -diff --git a/grub-core/normal/main.c b/grub-core/normal/main.c -index 3a926fc..6d48c6a 100644 ---- a/grub-core/normal/main.c -+++ b/grub-core/normal/main.c -@@ -208,7 +208,7 @@ grub_normal_init_page (struct grub_term_output *term, - - grub_term_cls (term); - -- msg_formatted = grub_xasprintf (_("GNU GRUB version %s"), PACKAGE_VERSION); -+ msg_formatted = grub_xasprintf("FREE AS IN FREEDOM"); - if (!msg_formatted) - return; - |