diff options
Diffstat (limited to 'Master/texmf/lists/metafont')
| -rw-r--r-- | Master/texmf/lists/metafont | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/Master/texmf/lists/metafont b/Master/texmf/lists/metafont new file mode 100644 index 00000000000..ec9d710809d --- /dev/null +++ b/Master/texmf/lists/metafont @@ -0,0 +1,23 @@ + + +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 |