diff options
author | Karl Berry <karl@freefriends.org> | 2008-10-12 17:08:47 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-10-12 17:08:47 +0000 |
commit | 6c9096722a86a9bc2f9d78b7b4ec5d2245910d6b (patch) | |
tree | 5119a75af8a80841c5301b3c95b9ae764812c06e /Master/bin | |
parent | bc776bf0ddc7c3b5db8813a71dba4443798a7c26 (diff) |
fixes from wl, 02 Oct 2008 22:15:45. guess we
should modifying makeunidef.pl, but oh well.
git-svn-id: svn://tug.org/texlive/trunk@10936 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin')
0 files changed, 0 insertions, 0 deletions