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