Am 13.02.2020 um 02:18 schrieb David G via WDSCI-L <wdsci-l@xxxxxxxxxxxxxxxxxx>:
IIRC the eclipse.app wouldn’t launch so I had to tweak the eclipse.ini file
so it used a different configuration directory.
As an Amazon Associate we earn from qualifying purchases.
Operating expenses for this site are earned using the Amazon Associate program and Google Adsense.