.settings/org.eclipse.core.resources.prefs
changeset 20794 b9e43ea5aa1b
parent 1738 d8dcb2ecfd14
equal deleted inserted replaced
20793:039ba3b80645 20794:b9e43ea5aa1b