.settings/org.eclipse.core.resources.prefs
changeset 237 9b02cc842a69
parent 226 a490d58de8b6
child 275 7fb704ee75e7
equal deleted inserted replaced
236:92b880e5901c 237:9b02cc842a69