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