diff options
| -rw-r--r-- | site/git/index.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/git/index.php b/site/git/index.php index 2f6c410..2e843ca 100644 --- a/site/git/index.php +++ b/site/git/index.php @@ -100,7 +100,7 @@ </p> <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("If you are submitting new files, please make sure that they are under a free license (<a href='https://copyleft.org/'>copyleft</a> 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> |