diff options
author | Karl Berry <karl@freefriends.org> | 2022-06-13 20:29:39 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-06-13 20:29:39 +0000 |
commit | 022ffdee9ce9c3872e305f497d15c6b5d78f5023 (patch) | |
tree | e9ac344029cf308566742dbcaeb43eb0748a9776 /Master/doc.html | |
parent | d5a7bc26d70baba102295ca5f8120c7d1f223119 (diff) |
textcase (13jun22)
git-svn-id: svn://tug.org/texlive/trunk@63575 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/doc.html')
0 files changed, 0 insertions, 0 deletions