.settings/org.eclipse.core.resources.prefs
changeset 274 a565e7ca5cb3
parent 226 a490d58de8b6
child 275 7fb704ee75e7
equal deleted inserted replaced
273:fb1d0e116be9 274:a565e7ca5cb3