.settings/org.eclipse.core.resources.prefs
changeset 20 ec738ea574a7
parent 5 580fd386c4b9
child 28 5918a9d353d0
equal deleted inserted replaced
19:c65f3713c7bd 20:ec738ea574a7