diff options
author | Ulrich Müller <ulm@gentoo.org> | 2021-02-16 10:29:22 +0100 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2021-02-16 10:31:03 +0100 |
commit | ddd5e36b55ef993a314ae8ca57180f788af22582 (patch) | |
tree | 49b0057460266593a3e37ee68485d91e63fc9025 /licenses/GPL-3+-with-font-exception | |
parent | dev-libs/ilbc-rfc3951: Remove last-rited package (diff) | |
download | gentoo-ddd5e36b55ef993a314ae8ca57180f788af22582.tar.gz gentoo-ddd5e36b55ef993a314ae8ca57180f788af22582.tar.bz2 gentoo-ddd5e36b55ef993a314ae8ca57180f788af22582.zip |
licenses: Add GPL-3+-with-font-exception
For media-fonts/intlfonts.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'licenses/GPL-3+-with-font-exception')
-rw-r--r-- | licenses/GPL-3+-with-font-exception | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/licenses/GPL-3+-with-font-exception b/licenses/GPL-3+-with-font-exception new file mode 100644 index 000000000000..8d5a7832bd82 --- /dev/null +++ b/licenses/GPL-3+-with-font-exception @@ -0,0 +1,12 @@ +GNU General Public License, version 3 or any later version. +See GPL-3 for the full text of this license. + +As a special exception, if you create a document which uses this font, +and embed this font or unaltered portions of this font into the +document, this font does not by itself cause the resulting document to +be covered by the GNU General Public License. This exception does not +however invalidate any other reasons why the document might be covered +by the GNU General Public License. If you modify this font, you may +extend this exception to your version of the font, but you are not +obligated to do so. If you do not wish to do so, delete this exception +statement from your version. |