diff options
author | Karl Berry <karl@freefriends.org> | 2017-11-05 22:04:04 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-11-05 22:04:04 +0000 |
commit | c17b9e35c1406e87113efc7646dc20b7f27c68db (patch) | |
tree | 03b53026c424d7d7414e0a8c6633233088b5ce18 /Master/texmf-dist/source/platex/base/plvers.dtx | |
parent | fadf897731beed45903c8aa6dd643dafd0e33da5 (diff) |
platex (5nov17)
git-svn-id: svn://tug.org/texlive/trunk@45698 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 11e8e52eb54..e24beeeba1b 100644 --- a/Master/texmf-dist/source/platex/base/plvers.dtx +++ b/Master/texmf-dist/source/platex/base/plvers.dtx @@ -131,7 +131,7 @@ {2017/10/28} %</plcore|platexrelease> %<*plcore> -\def\ppatch@level{1} +\def\ppatch@level{2} %</plcore> % \end{macrocode} % \end{macro} |