Gitiles
Code Review
Sign In
git.eclipse.org
/
sourceediting
/
webtools.sourceediting
/
ace5aafdad2de9fe1f445172d1af033826a77c52
/
bundles
/
org.eclipse.jst.jsp.ui
/
.settings
/
org.eclipse.jdt.ui.prefs
34a0b47
minor fixups to avoid less-bad warnings
by david_williams
· 18 years ago
900d373
updated default settings
by david_williams
· 19 years ago