From bcac4dd12169b0a86ed0f89172b6f91311d5d122 Mon Sep 17 00:00:00 2001
From: Jonny007-MKD <1-23-4-5@web.de>
Date: Thu, 21 Nov 2013 21:27:45 +0100
Subject: [PATCH] unbenutzt

---
 Hazard/input.txt | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 Hazard/input.txt

diff --git a/Hazard/input.txt b/Hazard/input.txt
deleted file mode 100644
index 574db0a..0000000
--- a/Hazard/input.txt
+++ /dev/null
@@ -1,6 +0,0 @@
-Variables: a, b, c, d
-Terms:
-"0010">1
-7>1
-1234>1
-"0123">1
\ No newline at end of file