diff options
| author | Andreas Scherer <andreas_tex@freenet.de> | 2020-07-15 12:32:35 +0000 |
|---|---|---|
| committer | Andreas Scherer <andreas_tex@freenet.de> | 2020-07-15 12:32:35 +0000 |
| commit | a2f71a3a31f777d019a495c0479bff6a69bff5bb (patch) | |
| tree | 764bf0b4f3a5195dd4e309a81484805628134d37 /Build/logs | |
| parent | 076f7a5ea6c77cf7a9851bc14c8a2f7051f67813 (diff) | |
[CWEB] Clearer exposition re external type definitions.
A few underlined index entries added and one index entry removed.
git-svn-id: svn://tug.org/texlive/trunk@55841 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/logs')
0 files changed, 0 insertions, 0 deletions