diff options
Diffstat (limited to 'doc/emacs/misc.texi')
| -rw-r--r-- | doc/emacs/misc.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/emacs/misc.texi b/doc/emacs/misc.texi index c989ded26d7..afad6b2c879 100644 --- a/doc/emacs/misc.texi +++ b/doc/emacs/misc.texi @@ -2883,7 +2883,3 @@ idle. @ifnottex @lowersections @end ifnottex - -@ignore - arch-tag: 8f094220-c0d5-4e9e-af7d-3e0da8187474 -@end ignore |