diff options
Diffstat (limited to 'gcc/gcc.info-20')
| -rw-r--r-- | gcc/gcc.info-20 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/gcc.info-20 b/gcc/gcc.info-20 index c03cb3d40a8..302329f739d 100644 --- a/gcc/gcc.info-20 +++ b/gcc/gcc.info-20 @@ -1,4 +1,4 @@ -This is Info file gcc.info, produced by Makeinfo version 1.68 from the +This is Info file gcc.info, produced by Makeinfo version 1.67 from the input file gcc.texi. This file documents the use and the internals of the GNU compiler. |