diff options
author | Karl Berry <karl@freefriends.org> | 2020-01-05 15:29:03 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-01-05 15:29:03 +0000 |
commit | 8248c2a1559ee05d1ac8d108aa153efdbefc5559 (patch) | |
tree | 644787be64e6b9de1ce515f19c89d4f839bcef3e /Build | |
parent | 4cf8b7fb2002b7d203088b5b3286f901c0b5e81e (diff) |
ext*.4ht font size, \lim, tex4ht r649-650
git-svn-id: svn://tug.org/texlive/trunk@53327 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
0 files changed, 0 insertions, 0 deletions