regenerate pdf (2023/02/14)

texjporg · Feb 14, 2023 · 37e767d · 37e767d
1 parent 799ace4
commit 37e767d
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/platexrelease.pdf b/platexrelease.pdf
diff --git a/pldoc.pdf b/pldoc.pdf