svndumpfilter is not completely filtering out specific directories We need to shrink one of our svn repositories by removing a sub tree.