diff options
author | Karl Berry <karl@freefriends.org> | 2008-03-08 18:10:41 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-03-08 18:10:41 +0000 |
commit | 2e5f41fc56aba895f92b3645bd18c4051231ad20 (patch) | |
tree | 6fbc0752030c4de42de4337f6e949169a12de4d6 /Build/source/texk/tetex | |
parent | 132f53d5218f4954e5125d244164af462b41b472 (diff) |
remove ancient texi2html.pl from scripts, it is now installed as its own program (but does it work?)
git-svn-id: svn://tug.org/texlive/trunk@6895 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/tetex')
0 files changed, 0 insertions, 0 deletions