From aef8f8165767a78e13de249d40fe62f94c5e13a5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Thu, 30 Nov 2017 13:11:03 +0100
Subject: [PATCH] Update README.md

---
 README.md | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 8beb3c0..8201288 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,13 @@
-# SRP lab in d7020e
----
+SRP stack analysis lab / KLEE RTFM proof of concept
+==============================================
+
+For the KLEE RTFM-4-SURE, switch to KLEE blanch
+
+SRP lab in d7020e
+-------------
+
+# 
+
 ## Install
 
 Open terminal
-- 
GitLab