diff options
Diffstat (limited to 'Master/texmf-dist/tex/xmltex/config/xmltex.ini')
-rw-r--r-- | Master/texmf-dist/tex/xmltex/config/xmltex.ini | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/Master/texmf-dist/tex/xmltex/config/xmltex.ini b/Master/texmf-dist/tex/xmltex/config/xmltex.ini deleted file mode 100644 index a9a433d4aac..00000000000 --- a/Master/texmf-dist/tex/xmltex/config/xmltex.ini +++ /dev/null @@ -1,7 +0,0 @@ -% public domain. -\let\primitivedump=\dump -\let\dump=\relax -\input latex.ini -\let\dump=\primitivedump - -\input xmltex.tex |