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