Google Git
Sign in
eclipse / gerrit / cdo / cdo.incubator / 3dc21bb38448455f640d4d59910ce429c3e87ee2 / . / tooling / org.eclipse.net4j.pop.ui / .settings
tree: 6f621818e4e911507d7912003f14dd472d658b9c [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs