diff options
Diffstat (limited to 'Master/texmf/lists/timing')
| -rw-r--r-- | Master/texmf/lists/timing | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/Master/texmf/lists/timing b/Master/texmf/lists/timing deleted file mode 100644 index f0de900525c..00000000000 --- a/Master/texmf/lists/timing +++ /dev/null @@ -1,16 +0,0 @@ -texmf-dist/doc/fonts/timing/prozt1.tex -texmf-dist/doc/fonts/timing/read.me -texmf-dist/doc/fonts/timing/tim0594.upl -texmf-dist/doc/fonts/timing/timing.dvi -texmf-dist/doc/fonts/timing/timing.tex -texmf-dist/fonts/source/public/timing/timing.mf -texmf-dist/fonts/source/public/timing/timing1.mf -texmf-dist/fonts/source/public/timing/timing1s.mf -texmf-dist/fonts/source/public/timing/timing2.mf -texmf-dist/fonts/source/public/timing/timing2s.mf -texmf-dist/fonts/tfm/public/timing/timing1.tfm -texmf-dist/fonts/tfm/public/timing/timing1s.tfm -texmf-dist/fonts/tfm/public/timing/timing2.tfm -texmf-dist/fonts/tfm/public/timing/timing2s.tfm -texmf-dist/tex/latex/timing/timing.sty -texmf/lists/timing |