amalgame/commit

Minor changes to docker build

authorJacco van Ossenbruggen
Fri Oct 16 11:10:05 2026 +0200
committerJacco van Ossenbruggen
Fri Oct 16 11:10:05 2026 +0200
commitc32da39a4fef0daceb61dac431c46ddf9856c1c6
tree321279f57e5ed34c7fe5e1dd0f22bacc63ccc277
parent6c2536ebf308ce12c9ad2b86ad59b695913d06ab
Diff style: stat patch
 docker/Makefile | 4 ++++
 1 file changed, 2 insertions(+), 2 deletions(-)