| Manifest-Version: 1.0 |
| Bundle-ManifestVersion: 2 |
| Bundle-Name: %pluginName |
| Bundle-SymbolicName: org.eclipse.stem.ui.grapheditor;singleton:=true |
| Bundle-Version: 1.3.1 |
| Bundle-Activator: org.eclipse.stem.ui.grapheditor.Activator |
| Bundle-Vendor: %providerName |
| Bundle-Localization: plugin |
| Bundle-ActivationPolicy: lazy |
| Bundle-ClassPath: . |
| Bundle-RequiredExecutionEnvironment: JavaSE-1.6 |
| Require-Bundle: org.eclipse.stem.definitions, |
| org.eclipse.stem.ui, |
| org.eclipse.stem.transport, |
| org.eclipse.zest.core;bundle-version="1.3.0" |
| Export-Package: org.eclipse.stem.ui.grapheditor, |
| org.eclipse.stem.ui.grapheditor.handlers |
| |
