diff options
Diffstat (limited to 'doc/emacs/arevert-xtra.texi')
| -rw-r--r-- | doc/emacs/arevert-xtra.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/emacs/arevert-xtra.texi b/doc/emacs/arevert-xtra.texi index c19fd3a5cc8..fe8f9636e88 100644 --- a/doc/emacs/arevert-xtra.texi +++ b/doc/emacs/arevert-xtra.texi @@ -186,7 +186,3 @@ should at the very least make clear whether enabling auto-reverting for the buffer reliably assures that all information in the buffer is completely up to date (or will be after @code{auto-revert-interval} seconds). - -@ignore - arch-tag: 2983e613-a272-45f6-9593-3010ad7f865e -@end ignore |