On 3/7/07, Jacek Laskowski <[EMAIL PROTECTED]> wrote:
On 3/7/07, Sachin Patel <[EMAIL PROTECTED]> 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

Reply via email to