summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-09-07 21:22:25 +0000
committerKarl Berry <karl@freefriends.org>2020-09-07 21:22:25 +0000
commit99e362fa3dfb6b154bac8a1bdbf5cae68e15544c (patch)
treece31f6f86d549a0b61b6dac8257deb3f12dea32a /Master/tlpkg/tlpsrc
parent82f7e34e882e279a2c67b04855c4f151e7954391 (diff)
semantex (7sep20)
git-svn-id: svn://tug.org/texlive/trunk@56287 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/semantex.tlpsrc1
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