Jens Petersen fafdf988f5 make build.sh output "Completed" message to make finish clearer		2017-04-02 23:05:36 +09:00
..
.gitignore	Modifications for automated builds on new server	2016-08-03 13:38:23 +00:00
build.sh
check-cabal.sh
cron.sh
run-nightly.sh