Andreas Ländle b9ec1d8316 Revert to previous used pid1.		2024-12-15 08:09:54 +01:00
..
dockerfiles	Revert to previous used pid1.	2024-12-15 08:09:54 +01:00
.gitignore	Reduce ignore list	2020-02-09 14:24:13 +02:00
build.sh	build.sh: use latest curator patched for ghc-9.10	2024-12-10 15:10:51 +08:00
run-nightly.sh	run-nightly.sh: use argument '1' to run once	2024-12-09 13:08:42 +05:30