From e5a0228705cc644eab95fbac9ba656e83510d393 Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Sat, 12 Dec 2015 22:57:45 -0500 Subject: git page: remove redundant information --- (limited to 'site') diff --git a/site/git/index.php b/site/git/index.php index 91db93e..cdab39d 100644 --- a/site/git/index.php +++ b/site/git/index.php @@ -25,25 +25,18 @@ - <?php echo gettext("Git repositories"); ?> + <?php echo gettext("Information for libreboot developers and contributors"); ?>
-

+

- ../docs/tasks.html. - There is also a -

-

- The libreboot project is also joining GNU. We have some tasks left to complete for that. -

- -

- ../docs/maintain/index.html and ../docs/git/index.html."); ?> + Useful information, related to libreboot development, including links to the Git repositories where + development is done.