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