amalgame/commit

Merge branch 'master' of github.com:jrvosse/amalgame

authorJacco van Ossenbruggen
Fri Sep 22 20:04:06 2017 +0200
committerJacco van Ossenbruggen
Fri Sep 22 20:04:06 2017 +0200
commitd5325ef928985a7d9b21171c20748165bd4d688f
treecbc99c78d95ee3a1cf6286cd2bd09abe1798522d
parent43c03493a5bcf9c6cd31337eff54eb92bcbbbd3f 8f6e582338d0943a1aa2033cf96e7fc907199abd
Diff style: stat patch
 docker/Dockerfile | 2 ++
 docker/build.sh   | 4 ++++
 2 files changed, 3 insertions(+), 3 deletions(-)