From f066597dcbb2980d503725defe18e62770bfa9cb Mon Sep 17 00:00:00 2001
From: Samo Penic <samo.penic@fe.uni-lj.si>
Date: Tue, 24 May 2016 20:19:46 +0000
Subject: [PATCH] Moved stop(kill) command to runner

---
 README.md |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/README.md b/README.md
index f135a2d..ab63732 100644
--- a/README.md
+++ b/README.md
@@ -48,6 +48,8 @@
 ``make install``
 
 
+This procedure can be done automatically by calling the build.sh script.
+
 2. Use
 ------
 

--
Gitblit v1.9.3