May 28, 2014
4:04 p.m.
On Wed, May 28, 2014 at 5:25 PM, Markus Fritsche <mfritsche@reauktion.de> 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