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