diff scripts/launcher/launch.sh @ 27:b2a09608bd9b

docker: fixed "./do_all.sh pull" + minor change
author Goffi <goffi@goffi.org>
date Mon, 20 Oct 2014 16:55:45 +0200
parents 7b337be4052d
children 1eb3ec190ea1
line wrap: on
line diff