tree 911a1a1ea7b20ec30b6b436b61932ff554d4ee78
parent 20c85cb868b0c35f43158ba0070ba4b326ea6f6a
author Davide Pesavento <davide.pesavento@lip6.fr> 1520816048 -0400
committer Alex Afanasyev <aa@cs.fiu.edu> 1520892091 -0700

ci: update .travis.yml

Change-Id: If5f808b7b0613b07baadedb057009cc2b37f73da