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

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

parents 4cbce181 4751b7e5
Branches
Tags
No related merge requests found
Pipeline #440 passed with warnings