5 Commits

Include renames

Author	SHA1	Message	Date
florian	87ac9cce7d	Test with new version.	2019-08-13 22:03:19 +02:00
florian	b62da6b00f	Correct release pipeline.	2019-08-13 21:57:29 +02:00
florian	b3bb993867	Set server properties for production.	2019-08-13 21:46:31 +02:00
florian	9423f64284	Edit paths in jenkinsfile of production.	2019-08-11 22:08:09 +02:00
florian	53f49ab13f	Add jenkinsfile for production.	2019-08-11 19:45:36 +02:00