update documentation
Passed
Karel van Klink
created pipeline for commit
1846400f
, finished
1 related merge request: !8 update documentation 16-08-2023
40 seconds, queued for 59 seconds