diff options
author | Karl Berry <karl@freefriends.org> | 2022-01-16 22:04:02 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-01-16 22:04:02 +0000 |
commit | 5176866c6a12a2d1d36fe4fd7892573dd0de81c6 (patch) | |
tree | 191f5d4522b4dd082185f51b0cfd834478b3b9e3 /Master/tlpkg/tlpsrc/latex-lab-dev.tlpsrc | |
parent | b34dcff9ba90395c74cefedb4106a48221c772f4 (diff) |
latex-lab-dev (16jan22)
git-svn-id: svn://tug.org/texlive/trunk@61624 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/latex-lab-dev.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/latex-lab-dev.tlpsrc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/latex-lab-dev.tlpsrc b/Master/tlpkg/tlpsrc/latex-lab-dev.tlpsrc new file mode 100644 index 00000000000..b622e156962 --- /dev/null +++ b/Master/tlpkg/tlpsrc/latex-lab-dev.tlpsrc @@ -0,0 +1,3 @@ +runpattern d texmf-dist/tex/latex-dev/latex-lab +srcpattern d texmf-dist/source/latex-dev/latex-lab +docpattern d texmf-dist/doc/latex-dev/latex-lab |