diff options
author | Karl Berry <karl@freefriends.org> | 2020-01-27 18:20:16 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-01-27 18:20:16 +0000 |
commit | d9e58e3074a4ca245488d386d800e4ceb4a3a61b (patch) | |
tree | 508009bb31c8d85f4a124c946230fab1c0e43548 /Master/tlpkg | |
parent | a106cb0b10820aa64385f0071bcee04a2cd8bfaa (diff) |
more $prg: prefixes for info() messages.
git-svn-id: svn://tug.org/texlive/trunk@53568 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
0 files changed, 0 insertions, 0 deletions