diff src/w32gui.h @ 15311:a9ed91ec0700

(single_submenu): Handle non-keymap lists like symbols.
author Richard M. Stallman <rms@gnu.org>
date Fri, 31 May 1996 20:10:02 +0000
parents ee40177f6c68
children c686d4f3728a
line wrap: on
line diff