Jens Petersen 71d7ec6ee5 build.sh: use stack-2.7.3 ... but then do we need stack already in the build image?		2021-10-07 00:35:48 +08:00
..
dockerfiles	Fix Dockerfile minor version	2021-08-20 09:46:16 +00:00
.gitignore	Reduce ignore list	2020-02-09 14:24:13 +02:00
build.sh	build.sh: use stack-2.7.3	2021-10-07 00:35:48 +08:00
run-nightly.sh	More cleanups to build script	2020-02-09 14:08:59 +02:00