.settings/org.eclipse.core.resources.prefs
changeset 847 7dc7ffaa5e0a
parent 841 7f237270b61c
child 853 ca39a8cf816f
equal deleted inserted replaced
846:a089bd6a29fd 847:7dc7ffaa5e0a