Skip to content
Snippets Groups Projects
Commit 2c17ca80 authored by Sören Henning's avatar Sören Henning
Browse files

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

parents 77104244 38390e7c
No related branches found
No related tags found
4 merge requests!159Re-implementation of Theodolite with Kotlin/Quarkus,!157Update Graal Image in CI pipeline,!129Enhance Helming,!83WIP: Re-implementation of Theodolite with Kotlin/Quarkus
Pipeline #3734 failed