diff etc/edt-user.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 23a1cea22d13
children 23a17af379b1 d7ddb3e565de
line wrap: on
line diff