13233 ----- Issue 4316: Deleting a directory from file list does not work http://code.google.com/p/pharo/issues/detail?id=4316 -some tests cleanup for the 1.3 release "there will be a 1.4". -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.