Google Git
Sign in
eclipse / webtools-common / webtools.common.fproj / refs/tags/v20051012_1540 / . / plugins / org.eclipse.wst.common.project.facet.ui / .settings
tree: fccbe8db2552192f16587b7f2e4ac82b9358720d [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs