diff info/dir @ 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 f2bf083cd3c2
children f042a6d7e37c
line wrap: on
line diff