From 4371ba77995916d29972cb00658b168ab3ca91ff Mon Sep 17 00:00:00 2001 From: jcarpent <jcarpent@laas.fr> Date: Tue, 2 Aug 2016 11:26:02 +0200 Subject: [PATCH] [Travis] Sync submodule travis --- .travis | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis b/.travis index 507fed5a8..00d90b0f0 160000 --- a/.travis +++ b/.travis @@ -1 +1 @@ -Subproject commit 507fed5a878084bc8e104269ffa5208a018f64b5 +Subproject commit 00d90b0f0c3aa0579667d963cc91cae4290add3c -- GitLab