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