diff options
author | Karl Berry <karl@freefriends.org> | 2023-11-19 18:53:19 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2023-11-19 18:53:19 +0000 |
commit | 0de22c8ad9240a080d8edab81034a6f168fb7824 (patch) | |
tree | 5a0e33b098d5d6d42c8a4d3386d4c0f6a169ff09 /Master/texmf-dist/doc/fonts/esstix | |
parent | b5809e59bed3273016a67136694b5cc72bceab2c (diff) |
(END): reword end-of-run pause msg.
(write_w32_updater): reword "backup option not implemented" warning.
Suggestions from Martin Muench, 16 Nov 2023 18:25:45.
(setup_one_remotetlpdb): reword stale mirror msg,
other wording.
git-svn-id: svn://tug.org/texlive/trunk@68903 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/fonts/esstix')
0 files changed, 0 insertions, 0 deletions