From 818eb6b3927639ad4598a139546eb8d54788fc86 Mon Sep 17 00:00:00 2001
From: Martin Dobiasch <martin.dobiasch@univie.ac.at>
Date: Wed, 8 Jan 2020 11:42:31 +0100
Subject: [PATCH] Update README.asciidoc

---
 README.asciidoc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.asciidoc b/README.asciidoc
index 6d239de..0185dbf 100644
--- a/README.asciidoc
+++ b/README.asciidoc
@@ -43,6 +43,7 @@ include::runall.sh[]
 ----
 
 In the run script you should find two things you might need to change to fit your experiments:
+
 * `--input tutorial.in` (in the first `+java+` line): This tells the program to parse the file `+tutorial.in+`. Change the name of the file to fit your needs.
 * `+--user test+` (in the second java line): This tells the program to use `+test+` as a user. Consequently, the program will process all files located in `test`. Change this part to fit your needs if you want to perform the experiment for a different user.
 
-- 
GitLab