Merge branch 'dev' into f-pov-doc
Failed
Timm Fitschen
created pipeline for commit
02a1d47d
, finished
1 related merge request: !25 DOC, STY: in code documentation and styling for readablility
2 minutes 27 seconds, queued for 4 seconds