florian pushed to master at Minager/minager

florian
2019-08-23T22:14:07+02:00

6c0e8870beb02f3705a319412be964720fd7c2c3 Edit jenkins credentials for gitea server.