.settings/org.eclipse.core.resources.prefs
changeset 20486 f5a58673fad6
parent 1738 d8dcb2ecfd14
equal deleted inserted replaced
20485:5e89abb03c8d 20486:f5a58673fad6