diff options
author | Karl Berry <karl@freefriends.org> | 2022-05-13 22:10:23 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-05-13 22:10:23 +0000 |
commit | f7a209ea5706b66dc7d7921d074ca787f117b7cd (patch) | |
tree | 856949a3b487beda3e30ff1096fcc3eab6352ad1 /Master/bin/win32 | |
parent | 0f85f23c4357dafc839d1134885ada4c98071d30 (diff) |
cut-fullname option, tex4ht r1133
git-svn-id: svn://tug.org/texlive/trunk@63292 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/win32')
0 files changed, 0 insertions, 0 deletions