Merge branch 'master' of git.se.informatik.uni-kiel.de:she/theodolite into introduce-actionCommands
Related merge request !201 to merge introduce-actionCommands
merge request
11 jobs
11 minutes 10 seconds, queued for 2 seconds