From 5907c2a2552553074476018dd097b9c1b1afa87d Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Tue, 2 Feb 2016 11:05:56 +0100
Subject: [PATCH] [README] Add reference to branch devel.

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 8b75da60d..e4ced7d03 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,7 @@
 Pinocchio
 ===========
-[![Build Status](https://travis-ci.org/stack-of-tasks/pinocchio.png?branch=master)](https://travis-ci.org/stack-of-tasks/pinocchio)
-[![Coverage Status](https://coveralls.io/repos/github/stack-of-tasks/pinocchio/badge.svg)](https://coveralls.io/github/stack-of-tasks/pinocchio)
+[![Build Status](https://travis-ci.org/stack-of-tasks/pinocchio.png?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)
 
 
 **Warning:** This repository contains [Git
-- 
GitLab