Google Git
Sign in
eclipse / gerrit / platform / eclipse.platform.debug / 16488f111db171c80f063f91f846c546fce3e9d2 / . / org.eclipse.ui.console / .settings
tree: d3a4be235a7320b0a23973c53d208c6c73a440af [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.prefs