summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'licenses/NTED_FONT')
-rw-r--r--licenses/NTED_FONT21
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 */
+/* ja@informatik.tu-chemnitz.de */
+/* */
+/* */
+/****************************************************************************************/