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 --- Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.gitignore | 1 - 1 file changed, 1 deletion(-) delete mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.gitignore (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.gitignore') diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.gitignore deleted file mode 100644 index ae3c1726..00000000 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/bin/ -- cgit v1.2.3-70-g09d2