Skip to content
Snippets Groups Projects

Remove old files

Passed
Sören Henning created pipeline for commit 5a923871
, finished
Related merge request !164 to merge 0.5-docs
merge request
14 jobs 8 minutes 21 seconds, queued for 2 seconds