Andreas Ländle 485ee146af Corrected shell script location (closes #6959) - addendum.		2023-08-03 14:31:19 +02:00
..
dockerfiles	Corrected shell script location (closes #6959) - addendum.	2023-08-03 14:31:19 +02:00
.gitignore	Reduce ignore list	2020-02-09 14:24:13 +02:00
build.sh	build.sh: use stack-2.11.1	2023-06-08 23:10:52 +02:00
run-nightly.sh	run-nightly.sh: do a git pull first	2022-10-25 19:11:49 +08:00