.settings/org.eclipse.core.resources.prefs
changeset 449 be971bcd048d
parent 443 27f71b0a772d
child 458 604b887e70c3
equal deleted inserted replaced
448:88b5e6785d47 449:be971bcd048d