amalgame/commit

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

authorJacco van Ossenbruggen
Thu May 5 13:08:22 2022 +0200
committerJacco van Ossenbruggen
Thu May 5 13:08:22 2022 +0200
commit1fa398ba96f35e6df436c95dcdd252ea7ecd537f
treeb4cfac5af676d58f7fedbfe44d6b346bcc29fc60
parent7f055c98b7a215a46cbd5e986b84e3b2e50a5767 f7086c459e98ff44b54e01d373f2359b09264e17
Diff style: stat patch
 docker/Dockerfile |  2 ++
 docker/Makefile   | 37 +++++++++++++++++++++++++++++++++++++
 docker/build.sh   |  6 ++++++
 docker/run.sh     | 24 ++++++++++++++++++++++++
 4 files changed, 38 insertions(+), 31 deletions(-)