.settings/org.eclipse.core.resources.prefs
changeset 272 1c774f7a0341
parent 271 8f77cf71ab02
parent 266 825ff4d6a8ac
child 275 b2eb3e9e6956