diff options
author | Karl Berry <karl@freefriends.org> | 2018-01-15 22:21:32 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-01-15 22:21:32 +0000 |
commit | b198b0b1f82978c1347030bf5679b0cf50a48356 (patch) | |
tree | 89c6575da372b96d5d4b82f1b1d533c3fb793a85 /Master/texmf-dist/makeindex | |
parent | 3327506128837caae25f9a61112667de55078b85 (diff) |
microtype (15jan18)
git-svn-id: svn://tug.org/texlive/trunk@46323 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/makeindex')
0 files changed, 0 insertions, 0 deletions