Google Git
Sign in
gerrit / gitiles / cc9da5729bd7765b43465c145662a171a3120798 / . / .settings
tree: eab2e6e2ced788c70ffb5af702f60ae6e83a21f5 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.jdt.ui.prefs