libreboot

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 90f78aa949d913c33c066245c71b18ec1e31173c
parent 60794355b970cb931bfe9e893961591d11220b2d
Author: Francis Rowe <info@gluglug.org.uk>
Date:   Thu,  3 Sep 2015 03:09:09 +0100

grub.cfg: fix indentation and empty line

Diffstat:
resources/grub/config/menuentries/common.cfg | 3+--
1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/resources/grub/config/menuentries/common.cfg b/resources/grub/config/menuentries/common.cfg @@ -26,7 +26,6 @@ menuentry 'Load Operating System' { configfile /${p}grub.cfg fi done - done done done @@ -94,7 +93,7 @@ menuentry 'Parse ISOLINUX menu (USB)' { elif [ -f "/boot${p}${p}.cfg" ] ; then syslinux_configfile -i /boot${p}${p}.cfg fi - done + done done done }