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