Gitiles
Code Review Sign In
git.eclipse.org / dltk / org.eclipse.dltk.core / 5ad8f254b8111db72410599d2088ff9a57055a06 / . / core / plugins / org.eclipse.dltk.console / .settings
tree: 93f0688260677b1b3df5ed40eb75653165f80a33 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs