Google Git
Sign in
eclipse / gemini.blueprint / org.eclipse.gemini.blueprint / 373cb7621c227189d2a7e90f44c04966db007a67 / . / io / .settings
tree: 4e5e298ba0e125d7f9dcef9bd0bb703d0709c8cd [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs