diff options
author | Karl Berry <karl@freefriends.org> | 2018-05-31 16:50:47 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-05-31 16:50:47 +0000 |
commit | f0f17bdc41dd87d1ccf27aab79a0e78759d4a2eb (patch) | |
tree | 7669daa03ce0cc7c72d40fbb3cef39282d1e05e8 /Master/texmf-dist | |
parent | d9b4790ef3c451ec8efc33bfb60501b0baca6957 (diff) |
xz -d some more; dump ::progs at ddebug levels
git-svn-id: svn://tug.org/texlive/trunk@47887 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
0 files changed, 0 insertions, 0 deletions