diff options
Diffstat (limited to 'Master/texmf-dist/tpm/timing.tpm')
| -rw-r--r-- | Master/texmf-dist/tpm/timing.tpm | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/Master/texmf-dist/tpm/timing.tpm b/Master/texmf-dist/tpm/timing.tpm deleted file mode 100644 index 1c556b37cf2..00000000000 --- a/Master/texmf-dist/tpm/timing.tpm +++ /dev/null @@ -1,40 +0,0 @@ -<!DOCTYPE rdf:RDF SYSTEM "../../support/tpm.dtd"> -<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:TPM="http://texlive.dante.de/"> - <rdf:Description about="http://texlive.dante.de/texlive/Package/timing.zip"> - <TPM:Name>timing</TPM:Name> - <TPM:Type>Package</TPM:Type> - <TPM:Date>2006/01/09 00:59:05</TPM:Date> - <TPM:Version></TPM:Version> - <TPM:Creator>staszek</TPM:Creator> - <TPM:Title> -Fonts and macro package for drawing timing diagrams. - </TPM:Title> - <TPM:Description></TPM:Description> - <TPM:Author>unknown</TPM:Author> - <TPM:Size>57488</TPM:Size> - <TPM:License></TPM:License> - <TPM:Build/> - <TPM:RunFiles size="29131"> -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-dist/tpm/timing.tpm - </TPM:RunFiles> - <TPM:DocFiles size="28357"> -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 - </TPM:DocFiles> - <TPM:Provides>Package/timing</TPM:Provides> - </rdf:Description> -</rdf:RDF> - |