Gitiles
Code Review Sign In
git.eclipse.org / sourceediting / webtools.sourceediting / 8a0f1807a2f58b9c3da31651a0b28e33d3fb2fb6 / bundles / org.eclipse.wst.html.ui / .settings / org.eclipse.core.runtime.prefs
  1. 34a0b47 minor fixups to avoid less-bad warnings by david_williams ยท 18 years ago