.settings/org.eclipse.core.resources.prefs
changeset 240 8b36b785c8af
parent 226 a490d58de8b6
child 275 7fb704ee75e7
equal deleted inserted replaced
231:07e452c0ef56 240:8b36b785c8af