.settings/org.eclipse.core.resources.prefs
changeset 334 8b34dc2c2f41
parent 327 3684db1579ff
child 345 7bc38c7d6cf9