diff options
Diffstat (limited to 'Master/tlp/timing.tlp')
-rw-r--r-- | Master/tlp/timing.tlp | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/Master/tlp/timing.tlp b/Master/tlp/timing.tlp deleted file mode 100644 index 2b6bb6a9b3d..00000000000 --- a/Master/tlp/timing.tlp +++ /dev/null @@ -1,19 +0,0 @@ -name timing -category Package -docfiles - 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 -runfiles - 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 |