Florian Bruhin b70975223f travis: Use sudo -H to call pip ... pip apparently needs this to make caching work properly? See #1396.		2016-04-06 07:13:03 +02:00
..
install.py	travis: Use sudo -H to call pip	2016-04-06 07:13:03 +02:00
travis_run.sh	travis: Use prebuilt docker images	2016-03-16 07:23:17 +01:00