.settings/org.eclipse.core.resources.prefs
changeset 7 cb21b50b7793
parent 1 5f50937893ac
child 63 6bfac7c633a0
equal deleted inserted replaced
6:39cecdd5260e 7:cb21b50b7793