amalgame/commit

minor

authorJacco van Ossenbruggen
Mon Sep 11 17:27:52 2017 +0200
committerJacco van Ossenbruggen
Mon Sep 11 17:27:52 2017 +0200
commit74258c14b57ad3b5ca5d1b18994b27af96bd70cf
tree7b1898cf4edc5b4fadc72ecf14b16728ebc02fa1
parentad9b055265934ebae31cca0c78bb61184dd8262f
Diff style: stat patch
 docker/run.sh | 13 +++++++++++++
 1 file changed, 10 insertions(+), 3 deletions(-)