* w32menu.c: Change 'unsigned long' to 'Time' in #if-0 code.
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 16 May 2011 05:17:23 +0000 (22:17 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 16 May 2011 05:17:23 +0000 (22:17 -0700)
commit07156b3538e4de0baec3adbe498673f92c34fd90
tree5bbc8c2be375facb88bdf7ca362a9b28b2d486ad
parent06d6db334ef501be6280e950b9158c539c24eb4d
* w32menu.c: Change 'unsigned long' to 'Time' in #if-0 code.
src/w32menu.c