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