diff options
author | Karl Berry <karl@freefriends.org> | 2023-12-08 21:35:16 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2023-12-08 21:35:16 +0000 |
commit | 89c6325fe18e571de7db45ca8450b84389786c86 (patch) | |
tree | ca8518e51f33c9cf1e58b61dc543e8c1ffe2acb0 /Master/source/tlgui | |
parent | 3b77edd7bd54880c0147cf1a5b3fa0ac38f9557f (diff) |
hvextern (8dec23)
git-svn-id: svn://tug.org/texlive/trunk@69064 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/source/tlgui')
0 files changed, 0 insertions, 0 deletions