diff etc/enriched.doc @ 52406:c70762aa82aa

(menu-bar-showhide-menu): Amend date and time label and :help; also line and column numbers labels.
author Dave Love <fx@gnu.org>
date Mon, 01 Sep 2003 18:48:10 +0000
parents 07abc8d4c648
children d6e9f4f22388 d7ddb3e565de
line wrap: on
line diff