Google Git
Sign in
eclipse / sourceediting / webtools.sourceediting / 4a97f8d75d7982e9fe9a32d3ff59105033851590 / . / bundles / org.eclipse.wst.dtd.ui / .settings
tree: 931c9d796b4fd214171eecbfe52f164bf360f325 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.prefs