5 Commits

Author	SHA1	Message	Date
Jorrit Wronski	4a4e3232a5	Reducing the push frequency for the coverity_scan branch, coupling it to the nightly builds	2017-04-22 00:01:06 +02:00
Jorrit Wronski	3fe5e7dfe6	Fixed the scripts to handle the coverity_scan	2017-04-21 23:52:36 +02:00
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