travis-ci: move Travis CI code into dedicated scripts
[git] / ci / lib-travisci.sh
2017-09-11  Lars Schneidertravis-ci: move Travis CI code into dedicated scripts