8 Commits

Include renames

Author	SHA1	Message	Date
florian	2e4ec738e6	Edit jenkins credentials for ssh.	2019-08-23 22:18:15 +02:00
florian	6c0e8870be	Edit jenkins credentials for gitea server.	2019-08-23 22:14:04 +02:00
florian	24fff28d23	Update build tools references.	2019-08-23 22:07:03 +02:00
florian	bf297c7f16	Edit pipeline for new server configuration.	2019-08-23 21:40:05 +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