diff options
| author | Leah Rowe <info@minifree.org> | 2017-04-29 14:32:26 +0100 |
|---|---|---|
| committer | Leah Rowe <info@minifree.org> | 2017-04-29 14:32:26 +0100 |
| commit | fe1561b9a3da53c84a04a87f99079d9467a583a2 (patch) | |
| tree | 8eff6cc38d2fd94b2d95a4b446f5940d5c587ed0 /resources/flashrom/patch | |
| parent | 494142a4eae4fdc13db559657e2a9a0423e16ee7 (diff) | |
| download | librebootfr-fe1561b9a3da53c84a04a87f99079d9467a583a2.tar.gz librebootfr-fe1561b9a3da53c84a04a87f99079d9467a583a2.zip | |
docs/install/rpi_setup: Say GNU+Linux, not GNU/Linux
The plus is less ambiguous, in correctly telling the reader that the OS
consists of GNU and Linux, as opposed to GNU/Linux which logically means GNU
*or* Linux.
libreboot.org standardized on this notation for the name of the OS, some time
ago.
Diffstat (limited to 'resources/flashrom/patch')
0 files changed, 0 insertions, 0 deletions