diff options
Diffstat (limited to 'man/abbrevs.texi')
-rw-r--r-- | man/abbrevs.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/man/abbrevs.texi b/man/abbrevs.texi index ce6465564f..55f9712ef9 100644 --- a/man/abbrevs.texi +++ b/man/abbrevs.texi @@ -445,7 +445,3 @@ customize dynamic abbreviation to handle optional prefixes by setting 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 |