log docker/do_all.sh @ 74:8807a553e5bf

age author description
Mon, 20 Oct 2014 16:55:45 +0200 Goffi docker: fixed "./do_all.sh pull" + minor change