From a33110937ad37a3c6a7fcf803e38d39599c3e0b2 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Thu, 21 Dec 2017 13:51:11 +0100
Subject: [PATCH] last change to the README

---
 README.md | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 305cf53..34bb3ce 100644
--- a/README.md
+++ b/README.md
@@ -105,7 +105,16 @@ Pkg.resolve()
 
 # Specific version of [1712.07167](https://arxiv.org/abs/1712.07167)
 
-You need to run `julia-0.6`. In REPL execute
+You need to run `julia-0.6`.
+
+Clone `https://git.wmi.amu.edu.pl/kalmar/GroupsWithPropertyT` and checkout the `1712.07167` branch:
+```
+git clone https://git.wmi.amu.edu.pl/kalmar/GroupsWithPropertyT.git
+cd ./GroupsWithPropertyT
+git checkout 1712.07167
+```
+
+In `julia`s REPL execute
 ```julia
 Pkg.add("ArgParse")
 Pkg.add("Nemo")