Adjust travis config
authorChristian Weiske <cweiske@cweiske.de>
Wed, 17 Jan 2018 20:45:14 +0000 (21:45 +0100)
committerChristian Weiske <cweiske@cweiske.de>
Wed, 17 Jan 2018 20:45:14 +0000 (21:45 +0100)

No differences found