.settings/org.eclipse.core.resources.prefs
changeset 150 c4c2f3be5ddd
parent 146 b5ce341745e3
child 151 ca46b8e1b717
equal deleted inserted replaced
149:f6c662a079cd 150:c4c2f3be5ddd