diff options
author | Alexis Ballier <aballier@gentoo.org> | 2017-06-07 15:27:37 +0200 |
---|---|---|
committer | Mikle Kolyada <zlogene@gentoo.org> | 2019-06-09 17:54:33 +0300 |
commit | 5e1f855f9a4a7a0d50706c253178ffef17f0d894 (patch) | |
tree | e56d18646a0dfa8bcdd050ecdf44d8aadc06cb7b /scripts/texlive | |
parent | blockers for formatsextra (diff) | |
download | tex-5e1f855f9a4a7a0d50706c253178ffef17f0d894.tar.gz tex-5e1f855f9a4a7a0d50706c253178ffef17f0d894.tar.bz2 tex-5e1f855f9a4a7a0d50706c253178ffef17f0d894.zip |
extraexec from htmlxml to formatsextra
Diffstat (limited to 'scripts/texlive')
-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 |