Author: mculpepper(a)jboss.com Date: 2007-06-12 17:29:27 -0400 (Tue, 12 Jun 2007) New Revision: 2119 Modified: trunk/core/plugins/org.jboss.ide.eclipse.ui/plugin.properties Log: changed JBossIDE for Eclipse to JBossTools (this should be changed for RHDS bundle/build?) Modified: trunk/core/plugins/org.jboss.ide.eclipse.ui/plugin.properties =================================================================== --- trunk/core/plugins/org.jboss.ide.eclipse.ui/plugin.properties 2007-06-12 21:10:23 UTC (rev 2118) +++ trunk/core/plugins/org.jboss.ide.eclipse.ui/plugin.properties 2007-06-12 21:29:27 UTC (rev 2119) @@ -1,6 +1,6 @@ plugin.name=JBoss UI Plug-in plugin.provider=JBoss, a division of Red Hat -org.jboss.ide.eclipse.ui.MainPreferencePage=JBossIDE for Eclipse -org.jboss.ide.eclipse.ui.views=JBossIDE for Eclipse -org.jboss.ide.eclipse.ui.wizards=JBossIDE for Eclipse +org.jboss.ide.eclipse.ui.MainPreferencePage=JBoss Tools +org.jboss.ide.eclipse.ui.views=JBoss Tools +org.jboss.ide.eclipse.ui.wizards=JBoss Tools