tree 413c1f55070607f5d6469db8e4c347165a494c9e
parent 0064c1dd91ea38d918b56d3ba35eba627b8d9b14
author Davide Pesavento <davide.pesavento@lip6.fr> 1521089554 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1521089554 -0400

ci: update .travis.yml

Change-Id: I0bb8694ccbef65ec124def2aafcd772c8dd058c7