On 07 Aug 2014, at 12:30, Marcus Denker <marcus.denker@inria.fr> wrote:

- remove package Tool-Explorer (ca. 700 Loc, 6 classes)


after

https://pharo.fogbugz.com/f/cases/13794/Make-Tools-Explorer-unloadable

we can just unload it.


in 4.0 #159 The old Tool-Explorer package is now unloaded.

Marcus