.settings/org.eclipse.core.resources.prefs
changeset 228 5a070b7258b6
parent 226 a490d58de8b6
child 275 7fb704ee75e7
equal deleted inserted replaced
227:d0a67e7908b0 228:5a070b7258b6