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