diff options
Diffstat (limited to 'licenses/NTED_FONT')
1 files changed, 21 insertions, 0 deletions
diff --git a/licenses/NTED_FONT b/licenses/NTED_FONT
new file mode 100644
index 000000000000..00089a7d6c8d
--- /dev/null
+++ b/licenses/NTED_FONT
@@ -0,0 +1,21 @@
+The following exception applies to all included fonts:
+/* ---------------------------------------------------------------------------------*/
+ 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.
+/* */
+/* Copyright Joerg Anders, TU Chemnitz, Fakultaet fuer Informatik, GERMANY */
+/* */
+/* */
+/* */