florian pushed to master at Minager/minager

florian
2019-08-23T21:40:08+02:00

bf297c7f161de5e4faebf8901ebf38d2336bd978 Edit pipeline for new server configuration.