diff options
| author | Glenn Morris <rgm@gnu.org> | 2011-01-15 15:16:57 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2011-01-15 15:16:57 -0800 |
| commit | 0d9f702fd085bc8ad560a3e1f08d5e93054a5d33 (patch) | |
| tree | 8f7f07c160e5878c775fc6c2bb5ec912a164448e /doc/emacs/abbrevs.texi | |
| parent | 2153c86209ef95a34f3a80f7a1f72d5fade18c21 (diff) | |
| download | emacs-0d9f702fd085bc8ad560a3e1f08d5e93054a5d33.tar.gz | |
Nuke arch-tags.
Diffstat (limited to 'doc/emacs/abbrevs.texi')
| -rw-r--r-- | doc/emacs/abbrevs.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/emacs/abbrevs.texi b/doc/emacs/abbrevs.texi index 160c70471dd..24bbfb014e8 100644 --- a/doc/emacs/abbrevs.texi +++ b/doc/emacs/abbrevs.texi @@ -455,7 +455,3 @@ customize dynamic abbrev expansion 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 abbrev expression should ignore. - -@ignore - arch-tag: 638e0079-9540-48ec-9166-414083e16445 -@end ignore |