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