rename travis file

This commit is contained in:
merlokk 2017-12-01 18:57:31 +02:00
commit 755c72b798