Gitiles
Code Review
Sign In
git.eclipse.org
/
sourceediting
/
webtools.sourceediting
/
34a0b47828f5dfe3cc66590588061bd499a76ca6
/
bundles
/
org.eclipse.wst.sse.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
c0a7d56
fix some src properties
by david_williams
· 20 years ago