Google Git
Sign in
eclipse / gerrit / cdo / cdo.old / 4386ed7df8812678bd4962cce13e36cab4307e8a / . / org.eclipse.net4j.pop.pde / .settings
tree: 9c6740cc5ca8e2ed7eee943466152c8cc90915b8 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs