diff options
author | 2020-07-24 22:32:18 +0300 | |
---|---|---|
committer | 2020-07-24 22:32:18 +0300 | |
commit | 7678fd7c90d709c7b408fc62188139c3a72db12f (patch) | |
tree | f5219107e51f3e8f3c648dfe531471d618383455 | |
parent | merge jadetex (diff) | |
download | tex-7678fd7c90d709c7b408fc62188139c3a72db12f.tar.gz tex-7678fd7c90d709c7b408fc62188139c3a72db12f.tar.bz2 tex-7678fd7c90d709c7b408fc62188139c3a72db12f.zip |
remove formatsextra.extraexec (no consumers)
Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
-rw-r--r-- | scripts/texlive/tlpsrc/texlive-formatsextra.extraexec | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/texlive/tlpsrc/texlive-formatsextra.extraexec b/scripts/texlive/tlpsrc/texlive-formatsextra.extraexec deleted file mode 100644 index daefd8f..0000000 --- a/scripts/texlive/tlpsrc/texlive-formatsextra.extraexec +++ /dev/null @@ -1 +0,0 @@ -sed -i -e "s/passivetex //" $1 |