Andreas Huber 37207d67ab use utf-8 as resource encoding

2018-11-25 07:29:29 +00:00

..

org.eclipse.core.resources.prefs

use utf-8 as resource encoding

2018-11-25 07:29:29 +00:00