17ee0e400bef ^
1 2 3 4 5 6 7 8
This is version.info, produced by makeinfo version 6.1 from version.texi. Tag Table: End Tag Table