.settings/org.eclipse.core.resources.prefs
changeset 1443 d59952947289
parent 1431 bdefbdf222e7
equal deleted inserted replaced
1442:eaca389b4df8 1443:d59952947289