diff options
Diffstat (limited to 'doc/misc/info.texi')
| -rw-r--r-- | doc/misc/info.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/misc/info.texi b/doc/misc/info.texi index 03b9b64a395..e7cd8515ea4 100644 --- a/doc/misc/info.texi +++ b/doc/misc/info.texi @@ -1508,7 +1508,3 @@ topics discussed in this document. @printindex cp @bye - -@ignore - arch-tag: 965c1638-01d6-4156-9227-b10418b9d8e8 -@end ignore |