Skip to content
Snippets Groups Projects

Merge branch 'master' of git.se.informatik.uni-kiel.de:she/theodolite

Canceled
Sören Henning created pipeline for commit 0dfca34d
, finished
For master
branch
43 jobs 14 minutes 2 seconds, queued for 5 seconds