diff DockerToolFactory.xml @ 2:5b930e77b1f3

Better readability of Dockerfile, fix editing of userid for Dockerfile in DockerToolFactory.py.
author mvdbeek
date Wed, 03 Dec 2014 00:26:43 +0100
parents 7e0392d4531c
children de4889098f45
line wrap: on
line diff