On Wed, May 28, 2014 at 5:25 PM, Markus Fritsche <[email protected]> wrote: > Playing dumb here, but I just did sudo apt-get update && sudo apt-get > dist-upgrade && sudo apt-get --purge autoremove && sudo apt-get autoclean > using the ppa and I don't have a pharo4 entry?
yes, just update :-D -- Damien Cassou http://damiencassou.seasidehosting.st "Success is the ability to go from one failure to another without losing enthusiasm." Winston Churchill
