K 10 svn:author V 7 cvs2svn K 8 svn:date V 27 1999-01-14T19:35:20.000000Z K 7 svn:log V 88 This commit was manufactured by cvs2svn to create tag 'texinfo-vendor-gnu_texinfo_3_12'. END