### Eclipse Workspace Patch 1.0 #P org.eclipse.pde.ui Index: plugin.xml =================================================================== RCS file: /cvsroot/eclipse/org.eclipse.pde.ui/plugin.xml,v retrieving revision 1.419 diff -u -r1.419 plugin.xml --- plugin.xml 26 Jul 2007 04:21:30 -0000 1.419 +++ plugin.xml 26 Jul 2007 20:49:05 -0000 @@ -1417,6 +1417,9 @@ + @@ -1434,6 +1437,9 @@ +