Google Git
Sign in
eclipse/platform/eclipse.platform.ui/cf22c985b07ad86e431c32c1407571eea2e1c04b/./bundles/org.eclipse.ui.navigator.resources/.settings
tree: e95963efcee8b99105aeb1d101804ad77dda57a7
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.jdt.ui.prefs
  4. org.eclipse.pde.prefs