2 commits

Author	SHA1	Message	Date
David Baker	afc2b48073	combine sets	2019-04-26 12:22:32 +01:00
David Baker	1b8583fa51	Change jenkins script to package script ... Take the useful part of the jenkins script and put it in a script that makes a package with the git hashes as its version.	2019-04-26 11:25:41 +01:00

Renamed from scripts/jenkins.sh (Browse further)