2 Commits

Author	SHA1	Message	Date
Andreas Streichardt	7d2ab6055f	Merge with latest changes in improve-jenkins ... stashing should work better now	2017-08-31 17:53:48 +02:00
Andreas Streichardt	cc11155341	rename scripts	2017-08-30 12:23:56 +02:00