(w32_menu_display_help): Actually add the new argument
authorAndrew Innes <andrewi@gnu.org>
Wed, 28 Nov 2001 22:25:51 +0000 (22:25 +0000)
committerAndrew Innes <andrewi@gnu.org>
Wed, 28 Nov 2001 22:25:51 +0000 (22:25 +0000)
commit59a86c996c34d4f42ca2423d4ce3b31c807ce74c
tree85ce83c7c7589432bc38f28ac50d07c7b3ca1edd
parent5b5907acb79bab7bee29fdaf0cacf1733faa626f
(w32_menu_display_help): Actually add the new argument
OWNER.
src/ChangeLog
src/w32menu.c