diff options
author | Karl Berry <karl@freefriends.org> | 2020-09-08 21:04:49 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-09-08 21:04:49 +0000 |
commit | b28b17e09508d5a9d60e6dd26b552c4afac2fdae (patch) | |
tree | 9e9ac8b62b2329861fe2580cc4a9ca6e0e3263e2 /Master/texmf-dist | |
parent | d0ccba2d88a1dd31a9805e90012411cae7676aca (diff) |
semantex (8sep20)
git-svn-id: svn://tug.org/texlive/trunk@56294 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
-rw-r--r-- | Master/texmf-dist/tex/latex/semantex/stripsemantex.lua (renamed from Master/texmf-dist/doc/latex/semantex/stripsemantex.lua) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/semantex/stripsemantex.lua b/Master/texmf-dist/tex/latex/semantex/stripsemantex.lua index 769d5b05516..769d5b05516 100644 --- a/Master/texmf-dist/doc/latex/semantex/stripsemantex.lua +++ b/Master/texmf-dist/tex/latex/semantex/stripsemantex.lua |