3 Commits

Author	SHA1	Message	Date
Jorrit Wronski	8d8c39fc20	Removed the source builder and added the zipping to the server in the release script.	2014-12-09 12:00:03 +01:00
Jorrit Wronski	33f3fe9c51	Fixed some key handling issues in the bash scripts.	2014-12-08 10:45:44 +01:00
Jorrit Wronski	df2c0f7f69	Merging changes for the development scripts. Buildbot, git mirror to SourceForge and release management. No code changes.	2014-12-07 17:35:43 +01:00