Google Git
Sign in
eclipse/platform/eclipse.platform.ui/R3_4_maintenance/./bundles/org.eclipse.ui.win32/.settings
tree: 9c0045168289ae1063273a9e6254a4f696b5d9bd
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs