Google Git
Sign in
eclipse / gerrit / gemini.blueprint / org.eclipse.gemini.blueprint / bb224bd6fc0da05499b43fe7a8e07dfb4bcf53f9 / . / extender / .settings
tree: c594072aaedc0b0bc4f9faad61ec7ec46324a97b [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs