Reverted to rev 1.4 keys had been mistakenly deleted.
[phpeclipse.git] / net.sourceforge.phpeclipse.externaltools / META-INF / MANIFEST.MF
1 Manifest-Version: 1.0
2 Bundle-ManifestVersion: 2
3 Bundle-Name: PHP ExternalTools Plug-in
4 Bundle-SymbolicName: net.sourceforge.phpeclipse.externaltools; singleton:=true
5 Bundle-Version: 1.2.0
6 Bundle-ClassPath: externaltools.jar
7 Bundle-Activator: net.sourceforge.phpeclipse.externaltools.ExternalToolsPlugin
8 Bundle-Vendor: PHPEclipse project team
9 Bundle-Localization: plugin
10 Export-Package: net.sourceforge.phpdt.externaltools.actions,
11  net.sourceforge.phpdt.externaltools.group,
12  net.sourceforge.phpdt.externaltools.internal.dialog;x-internal:=true,
13  net.sourceforge.phpdt.externaltools.internal.model;x-internal:=true,
14  net.sourceforge.phpdt.externaltools.internal.program.launchConfigurations;x-internal:=true,
15  net.sourceforge.phpdt.externaltools.internal.registry;x-internal:=true,
16  net.sourceforge.phpdt.externaltools.internal.ui;x-internal:=true,
17  net.sourceforge.phpdt.externaltools.launchConfigurations,
18  net.sourceforge.phpdt.externaltools.model,
19  net.sourceforge.phpdt.externaltools.preferences,
20  net.sourceforge.phpdt.externaltools.util,
21  net.sourceforge.phpdt.externaltools.variable,
22  net.sourceforge.phpeclipse.externaltools
23 Require-Bundle: org.eclipse.ui,
24  org.eclipse.ui.console,
25  org.eclipse.ui.ide,
26  org.eclipse.ui.editors,
27  org.eclipse.core.resources,
28  org.eclipse.core.runtime,
29  org.eclipse.debug.core,
30  org.eclipse.debug.ui,
31  org.eclipse.ui.externaltools,
32  net.sourceforge.phpeclipse.ui
33 Eclipse-LazyStart: true