diff options
Diffstat (limited to 'site/index.php')
-rw-r--r-- | site/index.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/site/index.php b/site/index.php index ef08a01..87d4d39 100644 --- a/site/index.php +++ b/site/index.php @@ -83,6 +83,7 @@ <li><a href="<?php echo $ircChannelAddress; ?>">Join <?php echo $ircChannelName; ?></a></li> <li><a href="<?php echo $userMailingListAddress; ?>"><?php echo gettext("Subscribe to mailing list"); ?></a></li> <li><a href="<?php echo $devMailingListAddress; ?>"><?php echo gettext("Subscribe to dev mailing list"); ?></a></li> + <li><a href="contrib/"><?php echo gettext("Contact the developers"); ?></a></li> </ul> <ul> <li><strong><a href="git/">How can I help the libreboot project?</a></strong></li> |