diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/universa/fulmr12.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/universa/fulmr12.mf | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf-dist/fonts/source/public/universa/fulmr12.mf b/Master/texmf-dist/fonts/source/public/universa/fulmr12.mf index fd849054193..3d50a713b1d 100644 --- a/Master/texmf-dist/fonts/source/public/universa/fulmr12.mf +++ b/Master/texmf-dist/fonts/source/public/universa/fulmr12.mf @@ -4,7 +4,7 @@ %% %% The original source files were: %% -%% uni.dtx (with options: `font,medium,twelve') +%% universa.dtx (with options: `font,medium,twelve') %% %% 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; |