diff options
author | Karl Berry <karl@freefriends.org> | 2024-04-06 21:10:26 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2024-04-06 21:10:26 +0000 |
commit | 24045f4681072af7c0d65ff2550a830ac8afe946 (patch) | |
tree | 2a66a3a9b81b4bff279389278409784e007402de /Master/tlpkg/tlpsrc | |
parent | 50d9b4d02e3786c113b02aaee54c16af4e56c2dc (diff) |
rm xmltexconfig.tlpsrc, .ini moved to xmltex some time ago; schoepfer msg 06 Apr 2024 10:05:59
git-svn-id: svn://tug.org/texlive/trunk@70876 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/xmltexconfig.tlpsrc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/xmltexconfig.tlpsrc b/Master/tlpkg/tlpsrc/xmltexconfig.tlpsrc deleted file mode 100644 index 57e13344aed..00000000000 --- a/Master/tlpkg/tlpsrc/xmltexconfig.tlpsrc +++ /dev/null @@ -1 +0,0 @@ -shortdesc configuration files for xmltex and pdfxmltex |