amalgame/commit

minor comments on run.sh

authorJacco van Ossenbruggen
Mon Sep 11 17:51:22 2017 +0200
committerJacco van Ossenbruggen
Mon Sep 11 17:51:22 2017 +0200
commit3c04c896a6b57396f58fd08ccc79f978aec552b6
tree3c94cba52e7115c413ed125a472427975af12bf3
parent74258c14b57ad3b5ca5d1b18994b27af96bd70cf
Diff style: stat patch
 docker/run.sh | 4 ++++
 1 file changed, 4 insertions(+)