diff options
Diffstat (limited to 'man/info.texi')
-rw-r--r-- | man/info.texi | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/man/info.texi b/man/info.texi index 3ec983003f..26f23ac726 100644 --- a/man/info.texi +++ b/man/info.texi @@ -6,7 +6,7 @@ @syncodeindex vr cp @syncodeindex ky cp @comment %**end of header -@comment $Id: info.texi,v 1.34 2003/08/03 18:29:52 karl Exp $ +@comment $Id: info.texi,v 1.33 2003/07/16 22:17:40 karl Exp $ @copying This file describes how to use Info, the on-line, menu-driven GNU @@ -1456,7 +1456,3 @@ topics discussed in this document. @printindex cp @bye - -@ignore - arch-tag: 965c1638-01d6-4156-9227-b10418b9d8e8 -@end ignore |