Gitiles
Code Review Sign In
git.eclipse.org / dltk / org.eclipse.dltk.core / 5142307773df066dc7e942b8f522c9d4cbb18554 / . / core / plugins / org.eclipse.dltk.console.ui / .settings
tree: 968ad5f5c81d59f9648370655a00eed7b34053b6 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs