From 737a61b178056c8aab3feb571f2de08082e12a20 Mon Sep 17 00:00:00 2001 From: Pawel Piech Date: Thu, 13 Mar 2008 20:49:41 +0000 Subject: [PATCH] [220446] Got rid of an unused extension point. --- plugins/org.eclipse.dd.examples.pda.ui/plugin.xml | 9 --------- 1 file changed, 9 deletions(-) diff --git a/plugins/org.eclipse.dd.examples.pda.ui/plugin.xml b/plugins/org.eclipse.dd.examples.pda.ui/plugin.xml index 4247cf66b16..f7447fbd842 100644 --- a/plugins/org.eclipse.dd.examples.pda.ui/plugin.xml +++ b/plugins/org.eclipse.dd.examples.pda.ui/plugin.xml @@ -93,15 +93,6 @@ menubarPath="additions" id="org.eclipse.dd.examples.pda.editor.context.runToLineAction"/> - - -