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:36:25 GMT
On 3/7/07, Jacek Laskowski <jacek@laskowski.net.pl> wrote:
> 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.

Once I had written it I removed the quote. See the thread for the
reference. Sorry.

Jacek

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

Mime
View raw message