diff options
Diffstat (limited to 'licenses/NTED_FONT')
| -rw-r--r-- | licenses/NTED_FONT | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/licenses/NTED_FONT b/licenses/NTED_FONT new file mode 100644 index 000000000..00089a7d6 --- /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 */ +/* */ +/* */ +/****************************************************************************************/ |