comparison 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
comparison
equal deleted inserted replaced
1:5d70248d1e01 2:5b930e77b1f3