Update documentation
Passed
Karel van Klink
created pipeline for commit
c0bc8d86
, finished
1 related merge request: !38 Update documentation
2 minutes 13 seconds, queued for 6 seconds