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

---
 .../.project                                       | 34 ----------------------
 1 file changed, 34 deletions(-)
 delete mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/.project

(limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/.project')

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/.project b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/.project
deleted file mode 100644
index 7e994188..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/.project
+++ /dev/null
@@ -1,34 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
-	<name>hu.bme.mit.inf.dslreasoner.faulttree.components.ide</name>
-	<comment></comment>
-	<projects>
-	</projects>
-	<buildSpec>
-		<buildCommand>
-			<name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-		<buildCommand>
-			<name>org.eclipse.jdt.core.javabuilder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-		<buildCommand>
-			<name>org.eclipse.pde.ManifestBuilder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-		<buildCommand>
-			<name>org.eclipse.pde.SchemaBuilder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-	</buildSpec>
-	<natures>
-		<nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
-		<nature>org.eclipse.jdt.core.javanature</nature>
-		<nature>org.eclipse.pde.PluginNature</nature>
-	</natures>
-</projectDescription>
-- 
cgit v1.2.3-70-g09d2