Gitiles
Code Review Sign In
git.eclipse.org / sourceediting / webtools.sourceediting / 82a46ae0dcb67afe7d3165b0f2a9ec7d7aee6868 / docs / org.eclipse.wst.dtdeditor.doc.user / .settings / org.eclipse.jdt.ui.prefs
  1. f63582d attemp to beef up and standardize settings. by david_williams ยท 19 years ago