Henrik Levkowetz
|
c2432107a3
|
Updated Dockerfile and the default settings_local for the docker image. Added docker-init.sh which is used in the docker image, and docker/run which is a wrapper which runs the docker image with suitable settings.
- Legacy-Id: 10436
|
2015-11-07 20:25:37 +00:00 |
|