Commit e1cebf37 authored 2 years ago by Nadja Geisler

Merge branch 'fix-doc-minor' into 'main'

Fix smaller issues

Closes #141, #142, #115, and #143

See merge request !123

No related branches found

No related tags found

1 merge request!123Fix smaller issues

Checking pipeline status