geronimo-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Jacek Laskowski" <ja...@laskowski.net.pl>
Subject Re: why do we call the "eclipse plugin" devtools?
Date Wed, 07 Mar 2007 17:35:22 GMT
On 3/7/07, Sachin Patel <sppatel2@gmail.com> wrote:
> 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.

I haven't removed what I had seconded as it clearly shows that I'm in
favour of devtools != eclipse-plugin and that we should use the name -
eclipse-plugin - where it deems appropriate.

Jacek

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

Mime
View raw message