diff options
| -rw-r--r-- | site/index.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/site/index.php b/site/index.php index 45ea4b6..d2c336a 100644 --- a/site/index.php +++ b/site/index.php @@ -63,8 +63,8 @@ Libreboot has many practical advantages over proprietary firmware, such as faster boot speeds and better security. For example, you can <a href="docs/gnulinux/grub_boot_installer.html#encryption">install GNU/Linux with an encrypted /boot/ directory</a>, <a href="http://www.coreboot.org/GRUB2#signed_kernels">verify a GPG signature on your kernel before booting it</a>, <i>load a kernel from the flash chip</i>, and more! </p> <ul> - <li><a href="download/"><?php echo gettext("Download libreboot"); ?></a></li> - <li><a href="git/"><?php echo gettext("Git repositories"); ?></a></li> + <li><a href="download/"><?php echo gettext("Download stable version"); ?></a></li> + <li><a href="git/"><?php echo gettext("Download development version (git)"); ?></a></li> <li><a href="gpg/"><?php echo gettext("GPG keys"); ?></a></li> <li><a href="rsync/"><?php echo gettext("Mirroring libreboot"); ?> (rsync)</a></li> </ul> |