amalgame/commit

minor

authorJacco van Ossenbruggen
Thu Sep 14 13:17:43 2017 +0200
committerJacco van Ossenbruggen
Thu Sep 14 13:17:43 2017 +0200
commit84f7278205b1ed1d4cb2958d1ea1a19eed47187d
tree3e6036faf81ffc1b9fc721dabf5f45f4b5f1851d
parent3c04c896a6b57396f58fd08ccc79f978aec552b6
Diff style: stat patch
 docker/build.sh | 4 ++++
 1 file changed, 2 insertions(+), 2 deletions(-)