diff options
-rw-r--r-- | Master/texmf-dist/doc/fonts/esint-type1/README (renamed from Master/texmf-dist/doc/latex/esint-type1/README) | 0 | ||||
-rw-r--r-- | Master/texmf-dist/doc/fonts/esint-type1/README.plainTeX (renamed from Master/texmf-dist/doc/latex/esint-type1/README.plainTeX) | 0 | ||||
-rw-r--r-- | Master/texmf-dist/doc/fonts/esint-type1/table.pdf (renamed from Master/texmf-dist/doc/latex/esint-type1/table.pdf) | bin | 43478 -> 43478 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/fonts/esint-type1/table.tex (renamed from Master/texmf-dist/doc/latex/esint-type1/table.tex) | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/esint-type1/README b/Master/texmf-dist/doc/fonts/esint-type1/README index 67c1a65cf86..67c1a65cf86 100644 --- a/Master/texmf-dist/doc/latex/esint-type1/README +++ b/Master/texmf-dist/doc/fonts/esint-type1/README diff --git a/Master/texmf-dist/doc/latex/esint-type1/README.plainTeX b/Master/texmf-dist/doc/fonts/esint-type1/README.plainTeX index ed6543ad35e..ed6543ad35e 100644 --- a/Master/texmf-dist/doc/latex/esint-type1/README.plainTeX +++ b/Master/texmf-dist/doc/fonts/esint-type1/README.plainTeX diff --git a/Master/texmf-dist/doc/latex/esint-type1/table.pdf b/Master/texmf-dist/doc/fonts/esint-type1/table.pdf Binary files differindex 3d70d2df4cc..3d70d2df4cc 100644 --- a/Master/texmf-dist/doc/latex/esint-type1/table.pdf +++ b/Master/texmf-dist/doc/fonts/esint-type1/table.pdf diff --git a/Master/texmf-dist/doc/latex/esint-type1/table.tex b/Master/texmf-dist/doc/fonts/esint-type1/table.tex index 31937f5f8cf..31937f5f8cf 100644 --- a/Master/texmf-dist/doc/latex/esint-type1/table.tex +++ b/Master/texmf-dist/doc/fonts/esint-type1/table.tex |