2021-11-29 19:29:53 +00:00
|
|
|
Manifest-Version: 1.0
|
|
|
|
Automatic-Module-Name: game.ui
|
|
|
|
Bundle-ManifestVersion: 2
|
|
|
|
Bundle-Name: game.ui
|
|
|
|
Bundle-Vendor: My Company
|
|
|
|
Bundle-Version: 1.0.0.qualifier
|
|
|
|
Bundle-SymbolicName: game.ui; singleton:=true
|
|
|
|
Bundle-ActivationPolicy: lazy
|
|
|
|
Require-Bundle: game,
|
|
|
|
game.ide,
|
|
|
|
org.eclipse.xtext.ui,
|
|
|
|
org.eclipse.xtext.ui.shared,
|
|
|
|
org.eclipse.xtext.ui.codetemplates.ui,
|
|
|
|
org.eclipse.ui.editors;bundle-version="3.5.0",
|
2021-11-30 17:25:45 +00:00
|
|
|
org.eclipse.ui.ide;bundle-version="3.5.0",
|
|
|
|
org.eclipse.ui,
|
|
|
|
org.eclipse.compare,
|
|
|
|
org.eclipse.xtext.builder
|
2021-11-29 19:29:53 +00:00
|
|
|
Import-Package: org.apache.log4j
|
|
|
|
Bundle-RequiredExecutionEnvironment: JavaSE-11
|
2021-11-30 17:25:45 +00:00
|
|
|
Export-Package: xtext.ui.quickfix,
|
|
|
|
game.ui.internal,
|
|
|
|
xtext.ui.contentassist
|
|
|
|
Bundle-Activator: game.ui.internal.GameActivator
|