changes in settings of measurements

1 files changed, 24 insertions, 0 deletions

diff --git a/Domains/github-graph/META-INF/MANIFEST.MF b/Domains/github-graph/META-INF/MANIFEST.MF
new file mode 100644
index 00000000..a07e59d1
--- /dev/null
+++ b/Domains/github-graph/META-INF/MANIFEST.MF
@@ -0,0 +1,24 @@
+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: %pluginName
+Bundle-SymbolicName: github-graph;singleton:=true
+Bundle-Version: 0.1.0.qualifier
+Bundle-Vendor: %providerName
+Bundle-Localization: plugin
+Export-Package: github,
+ github.impl,
+ github.util,
+ queries
+Require-Bundle: org.eclipse.viatra.query.runtime.rete,
+ org.eclipse.viatra.query.runtime.localsearch,
+ org.eclipse.core.runtime,
+ org.eclipse.emf.ecore;visibility:=reexport,
+ com.google.guava,
+ org.eclipse.xtext.xbase.lib,
+ org.eclipse.xtend.lib,
+ org.eclipse.xtend.lib.macro,
+ org.eclipse.viatra.query.runtime;bundle-version="2.1.2"
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8
+Bundle-ActivationPolicy: lazy
+Import-Package: org.apache.log4j
+Automatic-Module-Name: github-graph