From d2bdd51aa1bbcd2bb658ae28de3d94d666b58f15 Mon Sep 17 00:00:00 2001 From: dopefishh Date: Wed, 20 Jan 2016 13:07:01 +0100 Subject: [PATCH] Delete README --- a4/README | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 a4/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 -*/ - -- 2.20.1