.settings/org.eclipse.core.resources.prefs
changeset 150 b0a34ce6fdcf
parent 135 dd6578e36a57
child 152 e2ceeb903de6
equal deleted inserted replaced
149:e1bed43f3a1b 150:b0a34ce6fdcf