Gitiles
Code Review
Sign In
git.eclipse.org
/
webtools
/
webtools.releng
/
db1dfe3511f67cb02a38700d9c4f5ab38ebe4233
/
plugins
/
org.eclipse.wtp.jee
/
plugin_customization.ini
5ea8dd2
changing some id's and names
by david_williams
ยท 15 years ago