.settings/org.eclipse.core.resources.prefs
changeset 20794 b9e43ea5aa1b
parent 1738 d8dcb2ecfd14