.settings/org.eclipse.core.resources.prefs
changeset 283 9182b3f86f6e
parent 226 a490d58de8b6
child 275 7fb704ee75e7