diff options
Diffstat (limited to 'doc/misc/gnus-coding.texi')
| -rw-r--r-- | doc/misc/gnus-coding.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/misc/gnus-coding.texi b/doc/misc/gnus-coding.texi index fd637ece6a8..22b74c900b0 100644 --- a/doc/misc/gnus-coding.texi +++ b/doc/misc/gnus-coding.texi | |||
| @@ -387,7 +387,3 @@ changed. | |||
| 387 | @c mode: texinfo | 387 | @c mode: texinfo |
| 388 | @c coding: iso-8859-1 | 388 | @c coding: iso-8859-1 |
| 389 | @c End: | 389 | @c End: |
| 390 | |||
| 391 | @ignore | ||
| 392 | arch-tag: ab15234c-2c8a-4cbd-8111-1811bcc6f931 | ||
| 393 | @end ignore | ||