diff options
Diffstat (limited to 'resources/grub/patch')
| -rw-r--r-- | resources/grub/patch/COPYING | 2 | ||||
| -rw-r--r-- | resources/grub/patch/gitdiff | 13 |
2 files changed, 15 insertions, 0 deletions
diff --git a/resources/grub/patch/COPYING b/resources/grub/patch/COPYING new file mode 100644 index 0000000..0a7d397 --- /dev/null +++ b/resources/grub/patch/COPYING @@ -0,0 +1,2 @@ +The "gifdiff" file is a patch for the GRUB project. +Look at that project's copyright information to see what conditions apply. diff --git a/resources/grub/patch/gitdiff b/resources/grub/patch/gitdiff new file mode 100644 index 0000000..cb5681d --- /dev/null +++ b/resources/grub/patch/gitdiff @@ -0,0 +1,13 @@ +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; + |