From e3bf8ee0f608e998d4e1a4a0ee04ca09318f8b6d Mon Sep 17 00:00:00 2001 From: Etienne Kneuss <ekneuss@gmail.com> Date: Thu, 10 Sep 2015 18:57:27 +0200 Subject: [PATCH] Final test --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index fd7f42b12..9b0df9b3c 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -Leon 3.0 [](http://laraquad4.epfl.ch:9000/epfl-lara/leon/builds) +Leon 3.0 [](http://laraquad4.epfl.ch:9000/epfl-lara/leon) ========== Getting Started -- GitLab