- merged 2.12 from PLD

[packages/grub2.git] / grub2-cfg.patch

diff --git a/grub2-cfg.patch b/grub2-cfg.patch
index 5d5ba9c5b5fa34a476d57843d123cf615f53b6db..23ce97b4cb47577f49b9d394f453e3a0b86e09d8 100644 (file)
--- a/grub2-cfg.patch
+++ b/grub2-cfg.patch
@@ -1,6 +1,5 @@
-diff -ur grub-2.04.orig/docs/grub.cfg grub-2.04/docs/grub.cfg
---- grub-2.04.orig/docs/grub.cfg       2019-08-18 15:56:16.561000000 +0200
-+++ grub-2.04/docs/grub.cfg    2019-08-18 15:56:54.745000000 +0200
+--- docs/grub.cfg.orig 2013-11-10 19:25:04.959888566 +0000
++++ docs/grub.cfg      2013-11-10 19:25:10.260104712 +0000
 @@ -14,8 +14,8 @@
  # For booting GNU/Linux
  menuentry "GNU/Linux" --id gnulinux {