From 96a833d60515a8d0b43fd57ceef2b29c6fd2604b Mon Sep 17 00:00:00 2001
From: Lanchid <thomas.heinemann@rwth-aachen.de>
Date: Thu, 7 Feb 2013 16:22:07 +0100
Subject: [PATCH] Added /test/parser/output.dot to gitignore (output file is
 automatically generated by ParseDtmcTest and should not be in the repository)

---
 test/parser/.gitignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 test/parser/.gitignore

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