diff install-sh @ 41251:e6612d08452f

(w32_menu_show, push_menu_pane): Doc fixes.
author Jason Rumney <jasonr@gnu.org>
date Sun, 18 Nov 2001 21:58:26 +0000
parents 35064c2e86d7
children 23a1cea22d13
line wrap: on
line diff