diff options
author | Martin Ruckert <martin.ruckert@hm.edu> | 2021-11-12 11:09:17 +0000 |
---|---|---|
committer | Martin Ruckert <martin.ruckert@hm.edu> | 2021-11-12 11:09:17 +0000 |
commit | 58c3fe089d4cdc595f6f175a8a9bf35b9c53a89e (patch) | |
tree | b4c17f1b9dbaca6e8b3755030c33fe05da74d5e5 /TODO | |
parent | 4026136ac968e7ffa4e168a0f005ea62c7099c6a (diff) |
eliminating htex.w and giving all file names the hi... prefix
git-svn-id: svn://tug.org/texlive/trunk@61033 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions