.settings/org.eclipse.core.resources.prefs
changeset 66 cff370b82f25
parent 59 d81fcb734e6c
child 70 82d8de021806
equal deleted inserted replaced
65:c262ddb4d656 66:cff370b82f25