Edit travis configuration

This commit is contained in:
Daniel Chappuis 2017-07-03 23:32:52 +02:00
parent c0fc023b74
commit a2705f176c