diff options
| -rw-r--r-- | licenses/GPL-2+-with-font-exception | 12 | ||||
| -rw-r--r-- | profiles/license_groups | 1 |
2 files changed, 13 insertions, 0 deletions
diff --git a/licenses/GPL-2+-with-font-exception b/licenses/GPL-2+-with-font-exception new file mode 100644 index 0000000..1a6d043 --- /dev/null +++ b/licenses/GPL-2+-with-font-exception @@ -0,0 +1,12 @@ +GNU General Public License, version 2 or any later version. +See GPL-2 or GPL-3 for the full text of these licenses. + +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. diff --git a/profiles/license_groups b/profiles/license_groups new file mode 100644 index 0000000..3195ba4 --- /dev/null +++ b/profiles/license_groups @@ -0,0 +1 @@ +GPL-COMPATIBLE GPL-2+-with-font-exception |