diff options
| author | Karl Berry <karl@freefriends.org> | 2020-07-10 21:30:11 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2020-07-10 21:30:11 +0000 |
| commit | f41444097b00cc6d9fbd9b5e1518251068c14345 (patch) | |
| tree | 43d0337d76e45c0e990c8574f26ed1704b5bc3ac /Build | |
| parent | a87f83a050d1400a678c4572f2c3b7753c3b6d21 (diff) | |
declare tei encoding, tex4ht r768
git-svn-id: svn://tug.org/texlive/trunk@55802 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
0 files changed, 0 insertions, 0 deletions