From 972baab642bd889d2c3476c0c9e17a6929e0c318 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 1 Aug 2019 14:49:53 +0200 Subject: [Stochastic] Remove fault tree support for now --- .../META-INF/MANIFEST.MF | 25 ---------------------- 1 file changed, 25 deletions(-) delete mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/META-INF/MANIFEST.MF (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/META-INF/MANIFEST.MF') diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/META-INF/MANIFEST.MF b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/META-INF/MANIFEST.MF deleted file mode 100644 index 59c1c5f7..00000000 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/META-INF/MANIFEST.MF +++ /dev/null @@ -1,25 +0,0 @@ -Manifest-Version: 1.0 -Bundle-ManifestVersion: 2 -Bundle-Name: Ui -Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.faulttree.ui;singleton:=true -Bundle-Version: 1.0.0.qualifier -Bundle-Activator: hu.bme.mit.inf.dslreasoner.faulttree.ui.Activator -Require-Bundle: org.eclipse.ui, - org.eclipse.core.runtime, - com.google.guava, - org.eclipse.xtext.xbase.lib, - org.eclipse.xtend.lib, - org.eclipse.xtend.lib.macro, - org.eclipse.core.resources, - org.eclipse.emf.ecore, - org.eclipse.viatra.query.runtime, - org.eclipse.viatra.query.runtime.rete, - org.eclipse.viatra.query.runtime.localsearch, - hu.bme.mit.inf.dslreasoner.logic.model, - hu.bme.mit.inf.dslreasoner.faulttree.components, - hu.bme.mit.inf.dslreasoner.faulttree.transformation, - hu.bme.mit.inf.dslreasoner.application, - hu.bme.mit.inf.dslreasoner.application.ui -Bundle-RequiredExecutionEnvironment: JavaSE-1.8 -Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.faulttree.ui -Bundle-ActivationPolicy: lazy -- cgit v1.2.3-70-g09d2