diff --git a/README.md b/README.md index 12b03c39c6644ffb0eef600ca911fd70210599c5..9b0df9b3c0c0059c23e54db98e5c453584cc214f 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) ========== Getting Started