diff etc/enriched.doc @ 46364:028d61c862a9

(normal-splash-screen, fancy-splash-text): Update name of help menu item for ordering printed manuals.
author Richard M. Stallman <rms@gnu.org>
date Sun, 14 Jul 2002 15:29:56 +0000
parents 07abc8d4c648
children d6e9f4f22388 d7ddb3e565de
line wrap: on
line diff