log docker/do_all.sh @ 84:8dc445c967e2

age author description
Mon, 20 Oct 2014 16:55:45 +0200 Goffi docker: fixed "./do_all.sh pull" + minor change
Sun, 19 Oct 2014 15:14:40 +0200 Goffi Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details.