Andreas Mülder 867c799500 changed encoding to UTF-8 hace 11 años
..
org.eclipse.core.resources.prefs 867c799500 changed encoding to UTF-8 hace 11 años