K 10 svn:author V 7 cvs2svn K 8 svn:date V 27 2002-07-22T16:52:58.000000Z K 7 svn:log V 76 This commit was manufactured by cvs2svn to create tag 'texinfo-vendor-v4_2'. END