diff man/mh-e.texi @ 55645:5b3f2477d17b

Rename w32_num_mouse_buttons from Vw32_num_mouse_buttons. Use const more consistently.
author Jason Rumney <jasonr@gnu.org>
date Mon, 17 May 2004 21:33:16 +0000
parents 746c40973d25
children 79f24418fc19 eb7e8d483840
line wrap: on
line diff