Google Git
Sign in
eclipse / gerrit / cdo / cdo.incubator / ab72f5efa28c3b12c67df222ac8f7d15eda825d2 / . / org.eclipse.net4j.provisioner.ui / .settings
tree: 5d8b924efe713e3065151c00227f257342c351c4 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs