diff options
Diffstat (limited to 'doc/misc/pgg.texi')
| -rw-r--r-- | doc/misc/pgg.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/misc/pgg.texi b/doc/misc/pgg.texi index 640dfd8f749..eefada00d9a 100644 --- a/doc/misc/pgg.texi +++ b/doc/misc/pgg.texi @@ -497,7 +497,3 @@ If non-@code{nil}, don't check the checksum of the packets. @bye @c End: - -@ignore - arch-tag: 0c205838-34b9-41a5-b9d7-49ae57ccac85 -@end ignore |