diff --git a/README.md b/README.md index 81404162a3ed6f4a4b753a444bf493c92635ca29..5df5eff2a16840aeb72b69d0592e0afca4d29123 100644 --- a/README.md +++ b/README.md @@ -1,8 +1,9 @@ Pinocchio =========== +[![License LGPL 3][badge-license]](http://www.gnu.org/licenses/lgpl-3.0.txt) [](https://travis-ci.org/stack-of-tasks/pinocchio) [](https://coveralls.io/github/stack-of-tasks/pinocchio?branch=devel) - +[](https://scan.coverity.com/projects/pinocchio) **Warning:** This repository contains [Git submodules][git-submodules]. Please clone this repository using the