diff options
Diffstat (limited to 'macros/jptex/latex/platex/plvers.dtx')
-rw-r--r-- | macros/jptex/latex/platex/plvers.dtx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/macros/jptex/latex/platex/plvers.dtx b/macros/jptex/latex/platex/plvers.dtx index 79c7fc1db4..7ab7d87eae 100644 --- a/macros/jptex/latex/platex/plvers.dtx +++ b/macros/jptex/latex/platex/plvers.dtx @@ -204,7 +204,7 @@ {2023-02-14} %</plcore|platexrelease> %<*plcore> -\def\ppatch@level{0} +\def\ppatch@level{1} %</plcore> % \end{macrocode} % \end{macro} |