Régis Behmo ad8e513fd2 Pull instead of build in cloud images ... This is possible now that we pin docker image version. This should result in faster image build.		2019-06-24 11:39:55 +02:00
..
aws.sh	Pull instead of build in cloud images	2019-06-24 11:39:55 +02:00