.settings/org.eclipse.core.resources.prefs
changeset 20521 1d28a3f5de04
parent 1738 d8dcb2ecfd14