diff scripts/launcher/launch.sh @ 26:a5e4c6c2a37d

docker: replaces tabs by spaces, download first app containers then data container + minor changes
author Goffi <goffi@goffi.org>
date Mon, 20 Oct 2014 16:50:12 +0200
parents 7b337be4052d
children 1eb3ec190ea1
line wrap: on
line diff