diff man/misc.texi @ 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 60252111f80c
children 6253e4f3654b
line wrap: on
line diff