diff options
Diffstat (limited to 'doc/misc/gnus.texi')
| -rw-r--r-- | doc/misc/gnus.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/misc/gnus.texi b/doc/misc/gnus.texi index 3db39e32101..a8f379c5b1a 100644 --- a/doc/misc/gnus.texi +++ b/doc/misc/gnus.texi @@ -30897,7 +30897,3 @@ former). The manual is unambiguous, but it can be confusing. @c mode: texinfo @c coding: iso-8859-1 @c End: - -@ignore - arch-tag: c9fa47e7-78ca-4681-bda9-9fef45d1c819 -@end ignore |