Google Git
Sign in
eclipse / servertools / webtools.servertools / 55487e19be5df6c6fdb8832ba405cfcff4bf53ad / . / plugins / org.eclipse.wst.server.discovery / .settings
tree: cda3534cfbb3dea1d0d75fa23a16e77657d3e8b9 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs