Gitiles
Code Review
Sign In
git.eclipse.org
/
sourceediting
/
webtools.sourceediting
/
1cfd6031cfc92e368911c8253a68b084e406066b
/
docs
/
org.eclipse.wst.sse.ui.infopop
/
.settings
/
org.eclipse.jdt.ui.prefs
f63582d
attemp to beef up and standardize settings.
by david_williams
ยท 18 years ago