.settings/org.eclipse.core.resources.prefs
changeset 20521 1d28a3f5de04
parent 1738 d8dcb2ecfd14
equal deleted inserted replaced
20520:0eb677e430ec 20521:1d28a3f5de04