Jens Petersen 7e83f0d070 run-nightly.sh: move newline after cron.sh		2016-10-10 12:42:08 +09:00
..
.gitignore	Modifications for automated builds on new server	2016-08-03 13:38:23 +00:00
build.sh	Bind-mount to /usr/bin/stack, avoid using Docker-copy of Stack entirely	2016-09-16 10:01:59 +00:00
check-cabal.sh	Initial check-cabal.sh	2016-04-24 16:23:25 +00:00
cron.sh	Use tee instead of >>	2016-08-07 07:42:57 +00:00
run-nightly.sh	run-nightly.sh: move newline after cron.sh	2016-10-10 12:42:08 +09:00