diff etc/edt-user.doc @ 56081:a72ee0aaa7f9

(previous-matching-history-element): Specify a default.
author Richard M. Stallman <rms@gnu.org>
date Sun, 13 Jun 2004 22:00:17 +0000
parents 23a1cea22d13
children 23a17af379b1 d7ddb3e565de
line wrap: on
line diff