Google Git
Sign in
eclipse / dltk / org.eclipse.dltk.core / 1fd6c569b456c90142cf638488fa6fff22b85a12 / . / core / plugins / org.eclipse.dltk.console / .settings
tree: cfb30be16faf057a65f855263628dca1dc7802dd [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs