Google Git
Sign in
eclipse / gerrit / e4 / org.eclipse.jdt.core / refs/tags/v_742 / . / .settings
tree: e6ff896603865615affef02253bd4480c2a3c5d5 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs