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. Jacek -- Jacek Laskowski http://www.JacekLaskowski.pl
