Google Git
Sign in
eclipse / gerrit / www.eclipse.org / eclipse / 0b18beaa421e60fc1d3af53b17b23c9b1354e9fe / . / platform-ui / plugins / org.eclipse.ui.ide.examples.projectsnapshot / .settings
tree: b6b5fec7ba132696a580eb42bd88b555871f2bcc [path history] [tgz]
  1. org.eclipse.jdt.core.prefs