diff options
Diffstat (limited to 'Master/tlp/esint.tlp')
-rw-r--r-- | Master/tlp/esint.tlp | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/Master/tlp/esint.tlp b/Master/tlp/esint.tlp deleted file mode 100644 index ece38d72887..00000000000 --- a/Master/tlp/esint.tlp +++ /dev/null @@ -1,15 +0,0 @@ -name esint -category Package -execute addMap mixed esint.map -docfiles - texmf-dist/doc/latex/esint/esint.readme -srcfiles - texmf-dist/source/latex/esint/esint.dtx - texmf-dist/source/latex/esint/esint.ins -runfiles - texmf-dist/fonts/source/public/esint/bigint.mf - texmf-dist/fonts/source/public/esint/esint10.mf - texmf-dist/fonts/source/public/esint/mathint.mf - texmf-dist/fonts/tfm/public/esint/esint10.tfm - texmf-dist/tex/latex/esint/esint.sty - texmf-dist/tex/latex/esint/uesint.fd |