.settings/org.eclipse.core.resources.prefs
changeset 256 2986e2d0fa3b
parent 253 1113c3874dd6
child 271 8f77cf71ab02
equal deleted inserted replaced
255:87f8d5d2adc7 256:2986e2d0fa3b