diff move-if-change @ 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 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff