Régis Behmo 70d2ef37d3 Do not pull images as part of local quickstart ... Pulling images is slow, often unnecessary, and sometimes suprising for the user, as the newer images may break the older tutor version. Instead, we add a "--pullimages" option to "quickstart" to explicitely update docker images.		2019-03-09 11:17:23 +01:00
..
clean.sh	Add cloud-cleaning script	2019-02-17 13:49:31 +01:00
ubuntu.sh	Do not pull images as part of local quickstart	2019-03-09 11:17:23 +01:00