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