Re: [Pharo-project] How to disable development tools on Pharo 1.4