2 Commits

Author	SHA1	Message	Date
/dev/urandom	2ed39f714a	Jenkinsfile: Reuse SSH credentials through SSH agent (hopefully).	2016-09-13 00:40:34 +02:00
/dev/urandom	cb8087771b	Add Jenkinsfile.	2016-09-13 00:33:00 +02:00