diff options
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. |