5 Commits

Include renames

Author	SHA1	Message	Date
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	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