Delete README

diff --git a/a4/README b/a4/README
deleted file mode 100644 (file)
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
-*/
-