diff options
Diffstat (limited to 'site/contrib/index.php')
| -rw-r--r-- | site/contrib/index.php | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/site/contrib/index.php b/site/contrib/index.php index bf59b1f..8e6b18c 100644 --- a/site/contrib/index.php +++ b/site/contrib/index.php @@ -63,11 +63,6 @@ Maintains the Gigabyte GA-G41M-ES2L coreboot port, which is integrated in libreboot. Also works on other hardware for the benefit of the libreboot project. Contact <strong>damo22</strong> on the freenode IRC network. This persons website is <a href="http://www.zammit.org/">zammit.org</a>. </p> - <h2>Patrick "P. J." McDermott</h2> - <p> - <?php echo gettext("<a href=\"http://proteanos.com/\">ProteanOS</a> maintainer, responsible for maintaining ProteanOS builds on many libreboot targets, and contributes to libreboot."); ?> - <?php echo gettext("This person's alias on the libreboot IRC channel is <strong>pehjota</strong>, or you can find contact information on the <a href=\"http://proteanos.com/contact/\">ProteanOS website</a>."); ?> - </p> <h2>Lisa Maginnis</h2> <p> <?php echo gettext("<a href=\"https://fsf.org/\">FSF</a> sysadmin, responsible for maintaining the libreboot and libreboot-dev mailing lists, and much of the infrastructure that libreboot uses (for instance, libreboot uses Savannah for Git hosting)."); ?> |