Gitiles
Code Review Sign In
git.eclipse.org / sourceediting / webtools.sourceediting / a1b2685d8bb0998f72795bbebe896841baa26777 / docs / org.eclipse.jst.jsp.ui.infopop / .settings / org.eclipse.core.resources.prefs
  1. f63582d attemp to beef up and standardize settings. by david_williams ยท 18 years ago