From: Augustin Degomme <adegomme@users.noreply.github.com>
Date: Sat, 27 Jul 2019 09:04:36 +0000 (+0200)
Subject: avoid mixing travis builders
X-Git-Tag: v3.24~238
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e84659ef22bae50c28bce4163d837e819a6a7fc5?hp=e84659ef22bae50c28bce4163d837e819a6a7fc5

avoid mixing travis builders
---