.settings/org.eclipse.core.resources.prefs
changeset 370 8dff53b60f4e
parent 334 de35ce18643a
child 587 fb0041aa74d3