Google Git
Sign in
eclipse/platform/eclipse.platform.debug/e5169b603003ffa08a23f1a5e73e410a7892e0d7/./org.eclipse.ui.console/.settings
tree: 0e9a7efc8013955c9ed608be5a61cd4a11dc8df5
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.prefs