1. 2017-11-06 Re: Eclipse IDE ubuntu-deve Charl Wentzel 2. 2017-11-05 Re: Eclipse IDE ubuntu-deve Jeremy Bicha 3. 2017-11-05 Eclipse IDE ubuntu-deve Nils