convert CI
authorEd J <mohawk2@users.noreply.github.com>
Tue, 30 Jan 2018 05:56:24 +0000 (05:56 +0000)
committerDagfinn Ilmari Mannsåker <ilmari@ilmari.org>
Fri, 23 Feb 2018 11:35:32 +0000 (11:35 +0000)
commitb85124517e8703c2ba6defc6f8bff636e0cd9f22
treed45b0775830eed66d3269db7942e74fa187983f9
parentc812f69d94cca033712ce622f532c69394a0e8ea
convert CI
maint/travis-ci_scripts/30_before_script.bash
maint/travis-ci_scripts/common.bash