Re: [Pharo-dev] Minor glitch in source code diff tool