K 10 svn:author V 3 bde K 8 svn:date V 27 2002-06-01T21:38:39.000000Z K 7 svn:log V 47 Finish removing the share/man/tools/directory. END