# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 980852558 0
# Node ID 214243110ceff24a17c9d27cb4d9e44e3abcfebb
# Parent  879f5cf6d43644528b0fbaa5d9af0a267d7f7ecd
Fix a typo.

diff -r 879f5cf6d436 -r 214243110cef etc/NEWS
--- a/etc/NEWS	Tue Jan 30 10:07:18 2001 +0000
+++ b/etc/NEWS	Tue Jan 30 11:02:38 2001 +0000
@@ -244,7 +244,7 @@
 according to the keyboard used.  If the keyboard has both a Backspace
 key and a Delete key, and both are mapped to their usual meanings, the
 option's default value is set to t, so that Backspace can be used to
-delete backward, and Delete can be used used to delete forward
+delete backward, and Delete can be used to delete forward.
 
 If not running under a window system, setting this option accomplishes
 a similar effect by mapping C-h, which is usually generated by the