Jens Petersen 01627f7f89 run-nightly.sh: remove the extra date		2016-12-07 18:13:46 +09:00
..
.gitignore	Modifications for automated builds on new server	2016-08-03 13:38:23 +00:00
build.sh	Stop running cron from build scripts	2016-12-06 09:50:13 -05:00
check-cabal.sh	Initial check-cabal.sh	2016-04-24 16:23:25 +00:00
cron.sh	cron.sh: change directory	2016-12-06 09:53:56 -05:00
run-nightly.sh	run-nightly.sh: remove the extra date	2016-12-07 18:13:46 +09:00