diff src/w32menu.c @ 34286:30ed482c0d7b

(fancy-splash-text, command-line-1): Use `File' for the menu name instead of `Files'.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 06 Dec 2000 16:01:04 +0000
parents c33b80a45f6a
children 77093a87f2de
line wrap: on
line diff