Commit 39d7363d authored by Praetorius, Simon's avatar Praetorius, Simon

Merge branch 'feature/debian_package' into 'master'

Feature/debian package

See merge request !20
parents c39480e2 80714787
Pipeline #685 canceled with stages
in 44 minutes and 12 seconds