From d5d6d0c4cb3ccf7dbbdce75eb648544d3465e601 Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Thu, 4 Feb 2016 05:17:15 +0100
Subject: [PATCH] [README] Minor fix

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 5df5eff2a..2129f5036 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,6 @@
 Pinocchio
 ===========
+
 [![License LGPL 3][badge-license]](http://www.gnu.org/licenses/lgpl-3.0.txt)
 [![Build Status](https://travis-ci.org/stack-of-tasks/pinocchio.svg?branch=devel)](https://travis-ci.org/stack-of-tasks/pinocchio)
 [![Coverage Status](https://coveralls.io/repos/github/stack-of-tasks/pinocchio/badge.svg?branch=devel)](https://coveralls.io/github/stack-of-tasks/pinocchio?branch=devel)
-- 
GitLab