Community
Participate
Working Groups
In Bug 458554, a new platform repo was created but it does not follow the platform naming schema. I think we should rename it to: eclipse.platform.ui.tools or eclipse.platform.ui.e4.tools Dani, any suggestions?
I agree. We should rename it to 'eclipse.platform.ui.tools'. It doesn't make sense to restrict it to e4 (tools). Lars, can you arrange that? Thanks.
Hi Webmaster, could you rename the repo you created in Bug 458554 to 'eclipse.platform.ui.tools'?
Done. -M.