Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / e66b17ee7b98b1a923de6a81866d0d802f9434b7 / . / plugins / org.eclipse.objectteams.otdt.pde.ui / .settings
tree: 08b9645a9cbe1813db9acb9f34250a7b25ea64be [path history] [tgz]
  1. org.eclipse.jdt.core.prefs