Google Git
Sign in
eclipse / gerrit / platform / eclipse.platform / 9f3af74958e46fcce7198c1de4dc7d5803214422 / . / platform / org.eclipse.platform / .settings
tree: 991e94071a20df7a995ab5a63fd893a68777c337 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.core.runtime.prefs
  3. org.eclipse.jdt.core.prefs
  4. org.eclipse.jdt.ui.prefs
  5. org.eclipse.pde.prefs