diff options
author | Karl Berry <karl@freefriends.org> | 2020-02-09 22:04:24 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-02-09 22:04:24 +0000 |
commit | 9cbfe27fd2b911631b45571e735e469718879e39 (patch) | |
tree | 79fb9fd929a87956df13ba1a3c43ae7c339d0d4f /Master/texmf-dist/source/platex/base/plvers.dtx | |
parent | 2f6b7af3e1e6de0cd3cad739cbb9b250966725f3 (diff) |
platex (9feb20)
git-svn-id: svn://tug.org/texlive/trunk@53732 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/platex/base/plvers.dtx')
-rw-r--r-- | Master/texmf-dist/source/platex/base/plvers.dtx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/source/platex/base/plvers.dtx b/Master/texmf-dist/source/platex/base/plvers.dtx index b354d4f4a62..81c78bebf18 100644 --- a/Master/texmf-dist/source/platex/base/plvers.dtx +++ b/Master/texmf-dist/source/platex/base/plvers.dtx @@ -195,7 +195,7 @@ {2020-02-02} %</plcore|platexrelease> %<*plcore> -\def\ppatch@level{1} +\def\ppatch@level{2} %</plcore> % \end{macrocode} % \end{macro} |