diff src/w32menu.c @ 75839:e71b1d9b5c5e

(with-electric-help, electric-help-exit, electric-help-retain): Doc fixes.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 13 Feb 2007 12:47:00 +0000
parents e90d04cd455a
children 5978a80d504e 95d0cdf160ea
line wrap: on
line diff