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

Merge branch 'master' into project-info-docs

parents 79cfb74f c59f7e1c
No related branches found
No related tags found
1 merge request!290Add project info and publications to docs.
Pipeline #8888 failed