Gitiles
Code Review Sign In
git.eclipse.org / graphiti / org.eclipse.graphiti / 213fbc7d85f391f58aa7dfc897bdf42026a5f7a7 / plugins / org.eclipse.graphiti.pattern / .settings / org.eclipse.wst.html.core.prefs
  1. 857c605 Hide some irrelevant html and xml warnings by mwenz ยท 13 years ago