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

commit 4e8763c53748eac3259c3daab10554669968b7e5
parent 494142a4eae4fdc13db559657e2a9a0423e16ee7
Author: Alyssa Rosenzweig <>
Date:   Sat, 29 Apr 2017 16:04:58 +0000

Merge branch 'nitpicking/gnu-plus-linux-not-gnu-slash-linux' of libreboot/libreboot into master

docs/install/ | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/install/ b/docs/install/ @@ -8,7 +8,7 @@ flash chip with the Raspberry Pi, using the RPi should work. The Libreboot project recommends using -[blobless GNU/Linux]( +[blobless GNU+Linux]( on the Raspberry Pi, to avoid having to run non-free software. This only became possible in February 2017 and the instructions below are not yet updated with the necessary steps, so please do not follow the