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