.settings/org.eclipse.core.resources.prefs
changeset 1358 8c290b65505e
parent 1357 dd3b4c9d5035
child 1369 e7cd1595f512
equal deleted inserted replaced
1357:dd3b4c9d5035 1358:8c290b65505e