Google Git
Sign in
eclipse / gemini.management / org.eclipse.gemini.managment / 4e8e26b90ee589442e1654cfc5627fc0136d6d48 / . / org.eclipse.gemini.management / .settings
tree: 2e2fb53ec2c2fad2fe096bc72ba89782d7e1714e [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.core.prefs