diff options
Diffstat (limited to 'site/download/index.php')
| -rw-r--r-- | site/download/index.php | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/site/download/index.php b/site/download/index.php index 91be6ae..24cad9a 100644 --- a/site/download/index.php +++ b/site/download/index.php @@ -39,7 +39,7 @@ <p><?php echo gettext("Links to HTTP mirrors, rsync mirrors and git repositories. Download libreboot here."); ?></p> <ul> - <li><a href="#archives"><?php echo gettext("Archived releases"); ?></a></li> + <li><a href="#archives"><?php echo gettext("Release archives"); ?></a></li> <li><a href="#mirror"><?php echo gettext("Rsync mirrors"); ?></a></li> <li><a href="#git"><?php echo gettext("Git repositories (development)"); ?></a></li> </ul> @@ -81,12 +81,7 @@ <div id="archives"> - <h1><?php echo gettext("Archived releases"); ?></h1> - - <p> - <?php echo gettext("These releases are more rigorously tested."); ?> - <?php echo gettext("However, they might be out of date compared to the current development snapshots."); ?> - </p> + <h1><?php echo gettext("Release archives"); ?></h1> <p> <?php echo gettext("Download libreboot from one of these mirrors."); ?> |