From ab94b630c13c3ed43dbb3bebfbe279c78e83fe39 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 12 Nov 2019 13:22:28 +0100
Subject: [PATCH] Removed .gitignore

---
 src/test/storm/parser/.gitignore | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 src/test/storm/parser/.gitignore

diff --git a/src/test/storm/parser/.gitignore b/src/test/storm/parser/.gitignore
deleted file mode 100644
index 651b60f10..000000000
--- a/src/test/storm/parser/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-/output.dot