changeset 37988:553346e3d511

Minor change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 03 Jun 2001 13:05:21 +0000
parents 39cfe73648c8
children 1f2cd8dd5029
files man/basic.texi
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/man/basic.texi	Sat Jun 02 20:55:48 2001 +0000
+++ b/man/basic.texi	Sun Jun 03 13:05:21 2001 +0000
@@ -47,8 +47,8 @@
 labeled @key{DEL}, @key{BACKSPACE} or @key{DELETE} which is a short
 distance above the @key{RET} or @key{ENTER} key.  This is the key you
 normally use, outside Emacs, for erasing the last character that you
-typed.  Regardless of the label on that key, Emacs always thinks of it
-as @key{DEL}, and that's what we call it in this manual.
+typed.  Regardless of the label on that key, Emacs thinks of it as
+@key{DEL}, and that's what we call it in this manual.
 
   The @key{DEL} key deletes the character @emph{before} the cursor.
 As a consequence, the cursor and all the characters after it move