geronimo-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Jacek Laskowski" <>
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 <> 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 Laskowski

View raw message