# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 947564844 0
# Node ID 199ada58fd5defd91060eb03b5326337cbb0a543
# Parent  8ce11c7a7fcbffe433e4eeea320b3a3b84c1f0fc
*** empty log message ***

diff -r 8ce11c7a7fcb -r 199ada58fd5d lispref/abbrevs.texi
--- a/lispref/abbrevs.texi	Mon Jan 10 16:36:08 2000 +0000
+++ b/lispref/abbrevs.texi	Tue Jan 11 04:27:24 2000 +0000
@@ -232,7 +232,6 @@
 abbrev symbol if it did expansion, @code{nil} otherwise.
 @end deffn
 
-
 @deffn Command abbrev-prefix-mark &optional arg
 Mark current point as the beginning of an abbrev.  The next call to
 @code{expand-abbrev} will use the text from here to point (where it is