From 8f0d922a27ecb3441eabb2f92fec2636916db02e Mon Sep 17 00:00:00 2001
From: Peter Waegemann <waegemann@cs.fau.de>
Date: Sat, 5 Mar 2016 11:53:20 +0100
Subject: [PATCH] Add README.md documenting setup

---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..3dc13ad
--- /dev/null
+++ b/README.md
@@ -0,0 +1,5 @@
+Setup
+=====
+```
+./setup.sh
+```
-- 
GitLab