Pipelines · Merge branch 'schleuder-4.0.1' into 'main' (14375875) · Commits · schleuder / schleuder-website

Commit 14375875 authored May 18, 2021 by

georg

Add docs about Schleuder 4.0.1

See merge request !108

Pipeline #59119 passed with stages in 44 seconds