log docker/base/Dockerfile @ 83:8dd32aa49614

age author description
Thu, 18 Feb 2016 17:19:50 +0100 Goffi docker: pid files are put in /tmp to avoid conflict when restarting a container
Fri, 12 Feb 2016 20:24:24 +0100 Goffi docker: updated Dockerfiles:
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.