chiark / gitweb /
Workaround travis bug
authorJulien Schueller <schueller@phimeca.com>
Tue, 25 Oct 2016 14:37:18 +0000 (16:37 +0200)
committerJulien Schueller <schueller@phimeca.com>
Tue, 25 Oct 2016 14:44:56 +0000 (16:44 +0200)
commita526f036272da5c08910d3c95b65957506505229
tree0ec87003124cb259e8d34299758f7d830ca73b99
parent170f352492e555c6ebd706b376c90b4f927587f3
Workaround travis bug
.travis.yml