diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/levy/p.mf')
| -rw-r--r-- | Master/texmf-dist/fonts/source/public/levy/p.mf | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/levy/p.mf b/Master/texmf-dist/fonts/source/public/levy/p.mf index 912970c101d..819c5632ff1 100644 --- a/Master/texmf-dist/fonts/source/public/levy/p.mf +++ b/Master/texmf-dist/fonts/source/public/levy/p.mf @@ -1,3 +1,28 @@ +% Copyright (C) 1991 Silvio Levy +% +% This file is free software: you can redistribute it and/or modify +% it under the terms of the GNU General Public License as published by +% the Free Software Foundation, either version 2 of the License, or +% (at your option) any later version. +% +% This file is distributed in the hope that it will be useful, +% but WITHOUT ANY WARRANTY; without even the implied warranty of +% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +% GNU General Public License for more details. +% +% You should have received a copy of the GNU General Public License +% along with this program. If not, see <http://www.gnu.org/licenses/>. +% +% 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. + if unknown gen_sigma : readfrom("gen_sigma") fi def dims = 9.5u#,x_height#,0 enddef; |