Google Git
Sign in
eclipse/pde/eclipse.pde.ui/refs/heads/R3_2_maintenance/./ui/org.eclipse.pde.runtime/.settings
tree: c6bb54e1bb33799ee77a849c9f464e6e3eb0db46
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs
  3. org.eclipse.pde.prefs