diff options
Diffstat (limited to 'Master/texmf-dist/fonts/tfm/public')
-rw-r--r-- | Master/texmf-dist/fonts/tfm/public/txfonts/txmi.tfm | bin | 1984 -> 1944 bytes |
-rw-r--r-- | Master/texmf-dist/fonts/tfm/public/txfonts/txmi1.tfm | bin | 1996 -> 1956 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/tfm/public/txfonts/txmi.tfm b/Master/texmf-dist/fonts/tfm/public/txfonts/txmi.tfm Binary files differindex e0bfa406843..d81a499b3df 100644 --- a/Master/texmf-dist/fonts/tfm/public/txfonts/txmi.tfm +++ b/Master/texmf-dist/fonts/tfm/public/txfonts/txmi.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/txfonts/txmi1.tfm b/Master/texmf-dist/fonts/tfm/public/txfonts/txmi1.tfm Binary files differindex 5a9c7d9df81..37e540f12a0 100644 --- a/Master/texmf-dist/fonts/tfm/public/txfonts/txmi1.tfm +++ b/Master/texmf-dist/fonts/tfm/public/txfonts/txmi1.tfm |