[#71] move documentation to header
Passed
Mark Oliver Mints
created pipeline for commit
cc0ee8d9
, finished
1 related merge request: !83 Resolve "Refactor Pipeline Config and Manager"
6 minutes 40 seconds, queued for 7 seconds