chiark / gitweb /
Merge branch 'fix-ci' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Fri, 15 Apr 2016 10:30:24 +0000 (10:30 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Fri, 15 Apr 2016 10:30:24 +0000 (10:30 +0000)
commita2edc9da43900055c233eab3c83581075619dd3b
tree8ebaf64347ebaf4b69d26be4c0279bb82355a5e9
parentfd9ac1ad367d505a953a06314f5d68186c1a88b7
parent8dea6b896ce38e488c082eb60e274065712b3b46
Merge branch 'fix-ci' into 'master'

CI: Install venv instead of virtualenv

See merge request !122