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