.settings/org.eclipse.core.resources.prefs
changeset 56 f0b6be72761d
parent 48 f4fadc1b9d70
child 61 0048668779c0
equal deleted inserted replaced
55:bcbd95da9be2 56:f0b6be72761d