.settings/org.eclipse.core.resources.prefs
changeset 20486 f5a58673fad6
parent 1738 d8dcb2ecfd14