Fix doc's index to show properly in bob/docs
Passed
created pipeline for commit
25f8a13d
, finished
1 related merge request: !35 Fix doc's index to show properly in bob/docs
70 minutes 39 seconds, queued for 3 seconds