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