Google Git
Sign in
eclipse / gerrit / cdo / cdo.old / 547f298deda17472e60ee25514b8976f24c634f3 / . / develop / setup / .settings
tree: a2470cc7632def70aad91eceb9d3dc5b67af2e62 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.jdt.ui.prefs