revert gen-doc changes
Passed
Benjamin Gallois
created pipeline for commit
c963d045
, finished
Related merge request !254 to merge 183-refac-doc
28 minutes 51 seconds, queued for 6 seconds