diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/universa/fulmo17.mf')
| -rw-r--r-- | Master/texmf-dist/fonts/source/public/universa/fulmo17.mf | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf-dist/fonts/source/public/universa/fulmo17.mf b/Master/texmf-dist/fonts/source/public/universa/fulmo17.mf index aad5cd800f0..9fccff6ed9d 100644 --- a/Master/texmf-dist/fonts/source/public/universa/fulmo17.mf +++ b/Master/texmf-dist/fonts/source/public/universa/fulmo17.mf @@ -4,7 +4,7 @@ %% %% The original source files were: %% -%% uni.dtx (with options: `font,medium,slanted,seventeen') +%% universa.dtx (with options: `font,medium,slanted,seventeen') %% %% Copyright (C) 1998 Christian Holm. %% @@ -13,9 +13,9 @@ %% implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR %% PURPOSE. See the GNU General Public License for more details. %% -%% See the file uni.dtx for further comments and documentation. +%% See the file universa.dtx for further comments and documentation. +%% %% - if unknown unibase : input unibase; fi; |