I agree its a development tool... but its seems really odd that we
don't just call this "eclipse-plugin"... which seems to be the normal
way other projects refer to their eclipse integration.
For example, on the main page under sub-projects... I think the link
should be "Eclipse Plugin" and that most users will kind of expect to
see that instead of "Development Tools", which happens to be a page
all about the "Eclipse Plugin" anyways.
--jason
- why do we call the "eclipse plugin" devtools? Jason Dillon
-