I don't understand. What is currently named devtools besides the link on the site? I favor what we have currently, but if you feel strongly about this, I will not object any changes you make.

-sachin


On Mar 6, 2007, at 5:38 PM, Jacek Laskowski wrote:

On 3/6/07, Jason Dillon <[EMAIL PROTECTED]> wrote:

I guess the thing I don't really like right now... is that we refer
to the "eclipse-plugin" as "devtools" interchangeably.  I believe
that should change... and I think the way to make that change is to
start renaming stuff that was previously "devtools" (which was solely
for eclipse tooling support) to "eclipse-plugin".

I second that.

Jacek

--
Jacek Laskowski
http://www.JacekLaskowski.pl

Reply via email to