From: axelcl Date: Sat, 18 Jun 2005 22:28:32 +0000 (+0000) Subject: Added changes for externaltools plugin X-Git-Url: http://git.phpeclipse.com?hp=350d1275c09abeb595690a3ccaed1ed3a6fa5ffa Added changes for externaltools plugin --- diff --git a/net.sourceforge.phpeclipse.phphelp/plugin.xml b/net.sourceforge.phpeclipse.phphelp/plugin.xml index 52fe6b4..3be6d02 100644 --- a/net.sourceforge.phpeclipse.phphelp/plugin.xml +++ b/net.sourceforge.phpeclipse.phphelp/plugin.xml @@ -95,7 +95,7 @@ point="org.eclipse.ui.preferencePages">