diff options
author | Karl Berry <karl@freefriends.org> | 2008-05-20 23:54:16 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-05-20 23:54:16 +0000 |
commit | 8090b266658a26f37cec4df6cab4cc590b68081e (patch) | |
tree | 3484ad8acc674eda64972cf98694647f2f7037c4 /Master/tlpkg/doc | |
parent | 13c57e19b4882d81abf1971d2571cadc1960071a (diff) |
(%command): platform_menu is not defined, so don't
call it.
git-svn-id: svn://tug.org/texlive/trunk@8261 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/doc')
0 files changed, 0 insertions, 0 deletions