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