.settings/org.eclipse.core.resources.prefs
changeset 142 8411d69b3ad9
parent 135 dd6578e36a57
child 152 e2ceeb903de6
equal deleted inserted replaced
141:444108d080bc 142:8411d69b3ad9