diff options
Diffstat (limited to 'man/abbrevs.texi')
| -rw-r--r-- | man/abbrevs.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/abbrevs.texi b/man/abbrevs.texi index 55f9712ef92..ce6465564f5 100644 --- a/man/abbrevs.texi +++ b/man/abbrevs.texi @@ -445,3 +445,7 @@ 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 |