diff options
-rw-r--r-- | scripts/texlive/tlpsrc/texlive-formatsextra.extraexec (renamed from scripts/texlive/tlpsrc/texlive-htmlxml.extraexec) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/texlive/tlpsrc/texlive-htmlxml.extraexec b/scripts/texlive/tlpsrc/texlive-formatsextra.extraexec index daac018..daac018 100644 --- a/scripts/texlive/tlpsrc/texlive-htmlxml.extraexec +++ b/scripts/texlive/tlpsrc/texlive-formatsextra.extraexec |