diff options
Diffstat (limited to 'contrib/texinfo/doc/texinfo.txi')
| -rw-r--r-- | contrib/texinfo/doc/texinfo.txi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/texinfo/doc/texinfo.txi b/contrib/texinfo/doc/texinfo.txi index c0b7a20d3b6eb..17c7f2a3ffccc 100644 --- a/contrib/texinfo/doc/texinfo.txi +++ b/contrib/texinfo/doc/texinfo.txi @@ -1,5 +1,5 @@ \input texinfo.tex @c -*-texinfo-*- -@c $Id: texinfo.txi,v 1.50 1998/02/27 21:21:34 karl Exp $ +@c $Id: texinfo.txi,v 1.1.1.1 1999/01/14 19:35:19 markm Exp $ @c %**start of header @c All text is ignored before the setfilename. |