K 10
svn:author
V 4
jmmv
K 8
svn:date
V 27
2014-11-01T11:19:50.088401Z
K 7
svn:log
V 272
Remove empty directories for the deprecated (now gone) tools.

The tools-related directories should have been removed with the import of
atf-0.20 months ago, but I missed the bit in the Subversion Primer saying
that emptied directories require manual removal.  Do so now.

END