Gitiles
Code Review Sign In
git.eclipse.org / sourceediting / webtools.sourceediting / 657d03c8189a3e5abd7cbbea33e6bf52c21193c8 / 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