Google Git
Sign in
eclipse / platform / eclipse.platform / 7954ed9ff1cd8623303cfc5c4bc6ce42d0e4d4ba / . / ant / org.eclipse.ant.launching / .settings
tree: 92b6872ed95acdd21c1d9f56ee5376d1e0ae3537 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.prefs