diff options
author | Karl Berry <karl@freefriends.org> | 2017-08-27 23:51:19 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-08-27 23:51:19 +0000 |
commit | 9b25d514e38a322ca702b78f5f9880b85127c4a2 (patch) | |
tree | dc4f75d07c833ab6a54d27e5bb591a0e699636b9 /Master/texmf-dist/source/platex/base/plvers.dtx | |
parent | 54dde81f3764e1d19fb8383ef9f337a39766407b (diff) |
platex (27aug17)
git-svn-id: svn://tug.org/texlive/trunk@45139 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 2f494586ec1..6143a5ee9a6 100644 --- a/Master/texmf-dist/source/platex/base/plvers.dtx +++ b/Master/texmf-dist/source/platex/base/plvers.dtx @@ -130,7 +130,7 @@ {2017/07/29} %</plcore|platexrelease> %<*plcore> -\def\ppatch@level{0} +\def\ppatch@level{1} %</plcore> % \end{macrocode} % \end{macro} |