diff options
author | Karl Berry <karl@freefriends.org> | 2018-03-09 22:45:24 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-03-09 22:45:24 +0000 |
commit | 956eb721c60bbe9fa5a9c79bbfbf7f59ebaa549c (patch) | |
tree | 9e6a9f3c872837e9936214a776097c98155d0009 /Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascii10.mf | |
parent | 3603b8714cc2afd1596a5c16a5bbfca10cc7d34d (diff) |
ptex-fonts (9mar18)
git-svn-id: svn://tug.org/texlive/trunk@46900 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascii10.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascii10.mf | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascii10.mf b/Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascii10.mf deleted file mode 100644 index 0ec5a453348..00000000000 --- a/Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascii10.mf +++ /dev/null @@ -1,3 +0,0 @@ -fontsize#=10; -input ascii; -end; |