diff options
Diffstat (limited to 'Master/texmf/lists/metafont')
| -rw-r--r-- | Master/texmf/lists/metafont | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/Master/texmf/lists/metafont b/Master/texmf/lists/metafont deleted file mode 100644 index ec9d710809d..00000000000 --- a/Master/texmf/lists/metafont +++ /dev/null @@ -1,23 +0,0 @@ - - -texmf-dist/metafont/base/expr.mf -texmf-dist/metafont/base/io.mf -texmf-dist/metafont/base/mf.mf -texmf-dist/metafont/base/null.mf -texmf-dist/metafont/base/plain.mf -texmf-dist/metafont/config/cmmf.ini -texmf-dist/metafont/config/mf.ini -texmf-dist/metafont/misc/3test.mf -texmf-dist/metafont/misc/6test.mf -texmf-dist/metafont/misc/mode2dpi.mf -texmf-dist/metafont/misc/mode2dpixy.mf -texmf-dist/metafont/misc/modename.mf -texmf-dist/metafont/misc/modes.mf -texmf-dist/metafont/misc/ps2mfbas.mf -texmf-dist/metafont/misc/rtest.mf -texmf-dist/metafont/misc/test.mf -texmf-dist/metafont/misc/waits.mf -texmf-dist/metafont/misc/ztest.mf -texmf-dist/tpm/metafont.tpm - -texmf/lists/metafont |