diff options
author | Karl Berry <karl@freefriends.org> | 2024-03-17 01:10:09 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2024-03-17 01:10:09 +0000 |
commit | 3cddb4a66cf2107181d72936bbd411267833a5b0 (patch) | |
tree | 4f2d818da6a7749533a9eebc202aeab7364ea6cd /Master/texmf-dist/tex | |
parent | 80dffb70777685a0dbf07434f7b46a3357f6ad11 (diff) |
(action_platform): wording, suggestion from Rolf Niepraschk,
https://tug.org/pipermail/tex-live/2024-March/050242.html
git-svn-id: svn://tug.org/texlive/trunk@70671 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex')
0 files changed, 0 insertions, 0 deletions