- updated to 2.02-rc1

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

diff --git a/grub2-cfg.patch b/grub2-cfg.patch
index 23ce97b4cb47577f49b9d394f453e3a0b86e09d8..45471164143d2799c6f8f91da2315234a5adebef 100644 (file)
--- a/grub2-cfg.patch
+++ b/grub2-cfg.patch
@@ -1,6 +1,7 @@
---- 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 @@
+diff -urNp grub-2.02-rc1.orig/docs/grub.cfg grub-2.02-rc1/docs/grub.cfg
+--- grub-2.02-rc1.orig/docs/grub.cfg   2017-02-08 15:07:55.114316212 +0000
++++ grub-2.02-rc1/docs/grub.cfg        2017-02-08 15:08:12.255316019 +0000
+@@ -14,8 +14,8 @@ set fallback=gnuhurd
  # For booting GNU/Linux
  menuentry "GNU/Linux" --id gnulinux {
        set root=(hd0,msdos1)