rename travis file

This commit is contained in:
Gleb Bahmutov 2017-12-11 22:05:09 -05:00
parent 65250878b6
commit 72d094373b