Andreas Mülder 50a53dc458 changed encoding to UTF-8 11 years ago
..
org.eclipse.core.resources.prefs 50a53dc458 changed encoding to UTF-8 11 years ago