Google Git
Sign in
eclipse / webtools-common / webtools.common / refs/heads/master / . / plugins / org.eclipse.wst.validation / .settings
tree: 4089cb115e8118f13b1fb688dd73ae044a90a27a [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs