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