florian pushed to master at Minager/minager

florian
2019-08-23T22:18:18+02:00

2e4ec738e6e3d5f36d89d18cb29fa5b1e3d168a6 Edit jenkins credentials for ssh.