diff options
Diffstat (limited to 'site/index.php')
| -rw-r--r-- | site/index.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/index.php b/site/index.php index 213f0b8..d5ca9ed 100644 --- a/site/index.php +++ b/site/index.php @@ -80,7 +80,7 @@ <?php echo gettext("Pre-configured libreboot systems are also available, from several <a href='suppliers/'>commercial suppliers</a>."); ?> </p> <p> - These systems come with libreboot pre-installed, where everything works out of the box. This is useful, for those who + These systems come with libreboot and GNU/Linux preinstalled, where everything works out of the box. This is useful, for those who do not want to install the software on their own, but still want to use it. All of the companies on this list are dedicated to the GNU free software philosophy, and are actively contributing to the libreboot project. </p> |