[update 1.2] #12035

12035
-----

Issue 2639: Tidy up of MessageNames tool
Issue 1498: FileList will not allow you to delete a directory?


--
Marcus Denker  -- http://www.marcusdenker.de
INRIA Lille -- Nord Europe. Team RMoD.


_______________________________________________
Pharo-project mailing list
[hidden email]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project