diff options
author | Karl Berry <karl@freefriends.org> | 2020-09-07 21:22:25 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-09-07 21:22:25 +0000 |
commit | 99e362fa3dfb6b154bac8a1bdbf5cae68e15544c (patch) | |
tree | ce31f6f86d549a0b61b6dac8257deb3f12dea32a /Master/tlpkg | |
parent | 82f7e34e882e279a2c67b04855c4f151e7954391 (diff) |
semantex (7sep20)
git-svn-id: svn://tug.org/texlive/trunk@56287 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rw-r--r-- | Master/tlpkg/tlpsrc/semantex.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/semantex.tlpsrc b/Master/tlpkg/tlpsrc/semantex.tlpsrc index e69de29bb2d..6a38f92caaa 100644 --- a/Master/tlpkg/tlpsrc/semantex.tlpsrc +++ b/Master/tlpkg/tlpsrc/semantex.tlpsrc @@ -0,0 +1 @@ +depend semtex |