.settings/org.eclipse.core.resources.prefs
changeset 58 c56ca9e06cc8
parent 1 5f50937893ac
child 63 6bfac7c633a0
equal deleted inserted replaced
57:590bf2969451 58:c56ca9e06cc8