Florian Bruhin 57cb812219 ci/install: Wait 30s before re-calling apt-get ... See #1396.		2016-04-06 07:14:21 +02:00
..
install.py	ci/install: Wait 30s before re-calling apt-get	2016-04-06 07:14:21 +02:00
travis_run.sh	travis: Use prebuilt docker images	2016-03-16 07:23:17 +01:00