From: dopefishh <mart@martlubbers.net>
Date: Wed, 20 Jan 2016 12:07:01 +0000 (+0100)
Subject: Delete README
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=d2bdd51aa1bbcd2bb658ae28de3d94d666b58f15;p=tt2015.git

Delete README
---

diff --git a/a4/README b/a4/README
deleted file mode 100644
index 343ecf4..0000000
--- a/a4/README
+++ /dev/null
@@ -1,7 +0,0 @@
-/* Running and compiling basic leaner
-* To compile (when in learner directory)
-javac * -cp :../../lib/automata-parent.jar:../../lib/learnlib-parent.jar
-* to run (when in src directory)
-java -cp :../lib/automata-parent.jar:../lib/learnlib-parent.jar leaner.Main
-*/
-