From 07f7e373ab3037f7e9fb290e52548a643ad21f3b Mon Sep 17 00:00:00 2001 From: penguinn <michellewerth@hotmail.com> Date: Fri, 22 May 2020 10:01:36 +0200 Subject: [PATCH] update readme --- README.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.adoc b/README.adoc index a6eb111..17b4842 100644 --- a/README.adoc +++ b/README.adoc @@ -1,4 +1,4 @@ -= ProB 2.0 Developer Manual += ProB 2.0 Developer and User Handbook image:https://travis-ci.org/hhu-stups/prob2-doc.svg?branch=master["Build Status", link="https://travis-ci.org/hhu-stups/prob2-doc"] -- GitLab