diff options
Diffstat (limited to 'site/git/index.php')
| -rw-r--r-- | site/git/index.php | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/site/git/index.php b/site/git/index.php index 1ebedd6..b1ea296 100644 --- a/site/git/index.php +++ b/site/git/index.php @@ -91,13 +91,7 @@ <p> <?php echo gettext("Generally speaking, using the same license as the file that you are modifying is much simpler."); ?> <?php echo gettext("If you are submitting new files, please make sure that they are under a free license (copyleft preferred)."); ?> - <?php echo gettext("You can find a list on:"); ?> - <a href="https://www.gnu.org/licenses/license-list.html">https://www.gnu.org/licenses/license-list.html</a>. - </p> - <p> - <i> - <?php echo gettext("The libreboot project will not accept documentation released under the <u>GNU Free Documentation License</u>, because we do not want to endorse or support the Invariant clauses that this license allows. Changes submitted under this license will be rejected, even if it contains no Invariant sections."); ?> - </i> + <?php echo gettext("You can find a list on:"); ?> <a href="https://www.gnu.org/licenses/license-list.html">https://www.gnu.org/licenses/license-list.html</a>. </p> </div> @@ -177,4 +171,4 @@ <?php $strHtml = ob_get_clean(); echo miniHtml($strHtml); -?>
\ No newline at end of file +?> |