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