Florian Bruhin dd9145d650 travis: Remove sources.list patching again ... Turns out the other mirrors aren't really more stable either.		2016-03-31 21:26:44 +02:00
..
install.py	travis: Remove sources.list patching again	2016-03-31 21:26:44 +02:00
travis_run.sh	travis: Use prebuilt docker images	2016-03-16 07:23:17 +01:00