libreboot

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

commit 04e13b99e73b5c206070cc3558115608114cebd2
parent 7f74ace8d348f6e5036893cc6c595e39a3fabf1d
Author: Francis Rowe <info@gluglug.org.uk>
Date:   Mon,  8 Jun 2015 22:10:16 +0100

docs/gnulinux/grub_boot_installer.html: grammar

Diffstat:
docs/gnulinux/grub_boot_installer.html | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html @@ -183,7 +183,7 @@ Note: <i>usb0</i> may be incorrect. Check the output of the <i>ls</i> command in GRUB, to see a list of USB devices/partitions. - Of course this will vary from distro to distro. If you did all that correctly, it should now be booting the ISO + Of course this will vary from distro to distro. If you did all of that correctly, it should now be booting the ISO the way that you specified. </p>