diff options
author | Karl Berry <karl@freefriends.org> | 2020-05-28 21:58:31 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-05-28 21:58:31 +0000 |
commit | fef8de7833455d23e5df0d2c77a7c79e52d14e5a (patch) | |
tree | 44a20e94e75ee8eb00dcd70cc78d903469f4a3ae /Master/texmf-dist/makeindex/mkgrkindex/uppercase-headers.ist | |
parent | 67fd1c9167e900c706ca88c2cca1541cde8940f9 (diff) |
erewhon (28may20)
git-svn-id: svn://tug.org/texlive/trunk@55319 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/makeindex/mkgrkindex/uppercase-headers.ist')
0 files changed, 0 insertions, 0 deletions