diff options
author | 2019-10-12 14:19:13 +0200 | |
---|---|---|
committer | 2019-10-12 14:19:13 +0200 | |
commit | dcc89fda9a1c3142e82d67c51cf6dea2a3931981 (patch) | |
tree | fea38b7a173634ae29dfc5f63146dcaafd682094 /get-started | |
parent | downloads/signatures: Use Gentoo keyserver (diff) | |
download | www-dcc89fda9a1c3142e82d67c51cf6dea2a3931981.tar.gz www-dcc89fda9a1c3142e82d67c51cf6dea2a3931981.tar.bz2 www-dcc89fda9a1c3142e82d67c51cf6dea2a3931981.zip |
Remove mentions of (dead) BSD variant
Closes: https://bugs.gentoo.org/672496
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'get-started')
-rw-r--r-- | get-started/about/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/get-started/about/index.html b/get-started/about/index.html index 77a015a..cad7928 100644 --- a/get-started/about/index.html +++ b/get-started/about/index.html @@ -22,7 +22,7 @@ title: 'About Gentoo' <h2>What is Gentoo?</h2> <p class="lead"> - Gentoo is a free operating system based on either Linux or FreeBSD that can be automatically optimized and customized for just about any application or need. + Gentoo is a free operating system based on Linux that can be automatically optimized and customized for just about any application or need. <br> Extreme configurability, performance, and a top-notch user and developer community are all hallmarks of the Gentoo experience. </p> |