Google Git
Sign in
eclipse / webtools-common / webtools.common / a79fae269b3aae759e8e03a70022a79be7b4d08f / . / plugins / org.eclipse.wst.validation.ui / .settings
tree: 23cc2798341585bdccc862f1a6b3856d00c80327 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs