diff options
author | Michał Górny <mgorny@gentoo.org> | 2019-10-12 14:19:13 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2019-10-12 14:19:13 +0200 |
commit | dcc89fda9a1c3142e82d67c51cf6dea2a3931981 (patch) | |
tree | fea38b7a173634ae29dfc5f63146dcaafd682094 | |
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>
-rw-r--r-- | get-started/about/index.html | 2 | ||||
-rw-r--r-- | index.html | 2 |
2 files changed, 2 insertions, 2 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> @@ -5,7 +5,7 @@ navtitle: 'Home' nav1: home nav1-show: true nav1-weight: 1 -description: 'The website of Gentoo, a flexible Linux or BSD distribution.' +description: 'The website of Gentoo, a flexible Linux distribution.' meta: '<link rel="alternate" type="application/atom+xml" title="Gentoo Linux news" href="/feeds/news.xml">' --- {% include hero-section/start class="emergehdr" %} |