Re: [PATCH] system: grub: Change the default default-entry to 0

2014-08-13 Thread Ludovic Courtès
m...@netris.org skribis: > From dde9969dcca4d33a2094af3c8909d017378b3e8e Mon Sep 17 00:00:00 2001 > From: Mark H Weaver > Date: Fri, 8 Aug 2014 00:50:53 -0400 > Subject: [PATCH] system: grub: Change the default default-entry to 0. > > * gnu/system/grub.scm ()[default-

[PATCH] system: grub: Change the default default-entry to 0

2014-08-12 Thread mhw
8 Aug 2014 00:50:53 -0400 Subject: [PATCH] system: grub: Change the default default-entry to 0. * gnu/system/grub.scm ()[default-entry]: Change the default to 0. --- gnu/system/grub.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/system/grub.scm b/gnu/system/grub.scm