diff options
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} |