Gitiles
Code Review Sign In
git.eclipse.org / servertools / webtools.servertools / 200a52257caf8d0dd0730b85f3197f3062c211b3 / . / plugins / org.eclipse.wst.server.discovery / .settings
tree: cda3534cfbb3dea1d0d75fa23a16e77657d3e8b9 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs