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