From 972baab642bd889d2c3476c0c9e17a6929e0c318 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Thu, 1 Aug 2019 14:49:53 +0200
Subject: [Stochastic] Remove fault tree support for now

---
 .../plugin.xml                                     | 25 ----------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/plugin.xml

(limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/plugin.xml')

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/plugin.xml b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/plugin.xml
deleted file mode 100644
index 8a01c50c..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/plugin.xml
+++ /dev/null
@@ -1,25 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<?eclipse version="3.4"?>
-<plugin>
-   <extension
-         point="org.eclipse.ui.menus">
-      <menuContribution
-            allPopups="false"
-            locationURI="popup:hu.bme.mit.inf.dslreasoner.application.ui.menu?after=hu.bme.mit.inf.dslreasoner.application.ui.executescript">
-         <command
-               commandId="hu.bme.mit.inf.dslreasoner.faulttree.ui.reliabilityanalysis"
-               label="Reliability Analysis..."
-               style="push">
-         </command>
-      </menuContribution>
-   </extension>
-   <extension
-         point="org.eclipse.ui.commands">
-      <command
-            defaultHandler="hu.bme.mit.inf.dslreasoner.faulttree.ui.handler.ReliabilityAnalysisHandler"
-            id="hu.bme.mit.inf.dslreasoner.faulttree.ui.reliabilityanalysis"
-            name="Execute Reliability Analysis">
-      </command>
-   </extension>
-
-</plugin>
-- 
cgit v1.2.3-70-g09d2