diff options
Diffstat (limited to 'Master/texmf/lists/esint')
-rw-r--r-- | Master/texmf/lists/esint | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Master/texmf/lists/esint b/Master/texmf/lists/esint new file mode 100644 index 00000000000..c37ec1b41e1 --- /dev/null +++ b/Master/texmf/lists/esint @@ -0,0 +1,13 @@ +texmf-dist/doc/latex/esint/esint.readme +texmf-dist/source/latex/esint/esint.dtx +texmf-dist/source/latex/esint/esint.ins +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 +texmf-dist/tpm/esint.tpm +!addMixedMap esint.map + +texmf/lists/esint |