May 31, 2011
8:24 a.m.
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.