Commit dd7d0b04 authored by Dominik Dörr's avatar Dominik Dörr
Browse files

Merge branch '205-create-karma-extension-shell' into 'develop'

Resolve "Create karma extension shell"

Closes #205

See merge request !105
parents fcba249d 63ccb689
Pipeline #5648 passed with stages
in 4 minutes and 55 seconds