libreboot

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

commit 2f44f611c5baf4a826baaa164d2945befec39123
parent 363f4160de902ed0b45bec98b85b670066adff68
Author: Francis Rowe <info@gluglug.org.uk>
Date:   Mon,  8 Jun 2015 22:11:44 +0100

docs/gnulinux/grub_boot_installer.html: grammar (3)

Diffstat:
docs/gnulinux/grub_boot_installer.html | 4++--
1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html @@ -183,8 +183,8 @@ 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 of that correctly, then it should now be booting the ISO - the way that you specified. + Of course this will vary from distro to distro. If you did all of that correctly, then it should now be booting your USB + drive in the way that you specified. </p> <p>