diff man/abbrevs.texi @ 88123:375f2633d815

New directory
author Kenichi Handa <handa@m17n.org>
date Mon, 08 Sep 2003 11:56:09 +0000
parents 695cf19ef79e
children 68c22ea6027c
line wrap: on
line diff
--- a/man/abbrevs.texi	Thu Sep 04 04:00:49 2003 +0000
+++ b/man/abbrevs.texi	Mon Sep 08 11:56:09 2003 +0000
@@ -445,7 +445,3 @@
 the variable @code{dabbrev-abbrev-skip-leading-regexp}.  Its value
 should be a regular expression that matches the optional prefix that
 dynamic abbreviation should ignore.
-
-@ignore
-   arch-tag: 638e0079-9540-48ec-9166-414083e16445
-@end ignore