diff options
| author | Miles Bader <[email protected]> | 2003-09-01 15:45:59 +0000 |
|---|---|---|
| committer | Miles Bader <[email protected]> | 2003-09-01 15:45:59 +0000 |
| commit | ab5796a9f97180707734a81320e3eb81937281fe (patch) | |
| tree | eef8aa4dd3733966628c6a43bd924b51557519e9 /man/abbrevs.texi | |
| parent | 1042fe8c8ca167fdb44365d99a35492df87b078f (diff) | |
Add arch taglines
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 55f9712ef9..ce6465564f 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 |