diff etc/ps-prin0.ps @ 55646:358a5c0b4571

(w32_num_mouse_buttons): Rename from Vw32_num_mouse_buttons and make it an int.
author Jason Rumney <jasonr@gnu.org>
date Mon, 17 May 2004 21:43:22 +0000
parents e5675426ff4c
children 23a17af379b1
line wrap: on
line diff