Google Git
Sign in
eclipse / sourceediting / webtools.sourceediting / b34f01c89592f5fcaca4a28ae4ad548883b9d02e / . / bundles / org.eclipse.wst.sse.ui / .settings
tree: e85269265827162d25252737aa9ad90a7f6b9908 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.prefs