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)
CI: Install venv instead of virtualenv

See merge request !122


Trivial merge